Assertion: pat | /r/HasProperty | self-contained framework
Facets:
Source sentences:
text: PAT is a self-contained framework for to support composing, simulating and reasoning of concurrent, real-time systems and other possible domains.