Assertion: trigger | /r/HasProperty | invalidated
Facets:
Source sentences:
text: If a trigger invokes a remote subprogram, and a time stamp or signature mismatch is found during execution of the trigger, then the remote subprogram does not run and the trigger is invalidated.