Assertion: sequence | /r/HasProperty | proper
Facets:
Source sentences:
text: If the sequence is proper, then the LEDs will run clockwise as they do not receive triggering signal from the gates.