Tutorial
Examples
Reference
Syntax
assertions: - {assertion-1} ... - {assertion-N} ----------------- assertion-*: <assertion>