Assertion: logic | /r/CapableOf | represent control
Facets:
Source sentences:
text: where "Logic" represents a logic program and "Control" represents different theorem-proving strategies.