Assertion: logic | /r/CapableOf | specify desiredbehavior of agents
Facets:
Source sentences:
text: In this subsection we will see how logic (of action) is used to describe / specify the (desired) behavior of agents (cf.