Assertion: business activity | /r/CapableOf | formalize the execution semantics
Facets:
value: for all bpmn elements
type: OTHER
Source sentences:
text: Business activities formalize the execution semantics for all BPMN elements.