Assertion: property | /r/HasProperty | expressed by the psl formula
Facets:
Source sentences:
text: For instance, the property "a request should always eventually be grant ed" can be expressed by the PSL formula:
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: