Untitled Document

cause/effect

Syntax:

(assert cause i effect j)

Semantics:

[[m]] is the proposition that structured individual [[i]] enables structured individual [[j]].

Sample Context:

Joe broke the chair because he fell.

(describe (assert object #Joe proper-name (build lex "Joe")))

(describe (assert cause (assert agent *Joe act (build lex "fall"))

             effect (assert agent *Joe act (build lex "break") object (build lex "chair"))))