agent/act/action/object

Semantics:
[[m]] is the proposition that agent [[i]] performs action [[j]] with respect to object [[k]].

Example:
Sir Tor picks up the brachet.
(assert agent #SirTor act (build action (build lex "pick up") object #brachet))
(assert object *SirTor proper-name (build lex "Sir Tor"))
(assert member *brachet class (build lex "brachet"))