Assertion: logic's property | /r/CapableOf | impose constraint
Facets:
value: on the applications operation
type: LOCATION
Source sentences:
text: The labels and their corresponding application operation are organised by an algebra, and the properties of this algebra will impose constraints on the applications operation.