Assertion: pat | /r/CapableOf | support composing
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.