Assertion: train's movement | /r/HasProperty | halted upon invalidation
Facets:
Source sentences:
text: In contrast to this 'easy moving', a PTC restricts the train movement to an explicit allowance; movement is halted upon invalidation.