Formules

Links een lijjst met 'assertions' die aanwezig zijn in het entrypoint. De assertion bestaat uit een test en een aantal attributen die bepalen hoe de test moet worden uitgevoerd.

Daaronder de labels en messages die bij de Assertion horen.

Als laatste de verschillende variabele(sets) die op basis van filters worden samengesteld.