|
agent/act/object/indobj
|
| Syntax: |
|
(build agent i act j object k indobj l) |
| Semantics: |
|
[[m]] is the proposition that agent [[i]] performs act
[[j]] upon [[k]] with repect to [[l]].
|
| Sample Context: |
| Joe hits the ball to John. |
|
(describe (assert object #Joe proper-name (build lex "Joe"))) (describe (assert object #John proper-name (build lex "John"))) (describe (assert member #Ball class (build lex "ball"))) (describe (assert agent *Joe act (build lex "hit") object *Ball indobj *John)) |