Formalised SCENARIO.Assertion