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