Agent/Act/Action

Semantics:
[[m]] is the proposition that agent [[i]] performs action [[j]]

Example:
Tweety flies.
(assert object #tweety propername Tweety)
(assert agent *tweety act (build action (build lex fly)))