Assertion: property | /r/HasProperty | followed by complete data transfer
Facets:
Source sentences:
text: The property "every request which is immediately followed by an ack signal, should be followed by a complete data transfer, where a complete data transfer is a sequence starting with signal start, ending with signal end in which busy holds at the meantime" can be expressed by the PSL formula: