Scenario validation rules

To be valid a scenario must satisfy the following rules.

1. Each trigger must correspond to a valid Concept operation.

   [determinant] entity operation_reference

   With entity a reference to a Concept.

2. Each system reaction must correspond to a valid System Concept operation.

   [determinant] entity operation_reference

   With entity a reference to the System Concept.

3. Each guard realization must be a valid condition.
4. Each assertion must be a valid condition.
5. Each waiting delay must be a valid duration specification.