[manoli@MIT.EDU: Displaying the assertions]

Tomas Lozano-Perez (tlp@ai.mit.edu)
Wed, 11 Mar 1998 13:24:51 -0500 (EST)

------- Start of forwarded message -------
To: tlp@MIT.EDU
Subject: Displaying the assertions
Date: Wed, 11 Mar 1998 13:19:19 EST
From: Manolis E I Kamvysselis <manoli@MIT.EDU>

Dear tlp,

I know we only need to change the rules for 6a, and that
when the whole thing works we'll be able to see the desired
sentence as one of the bindings created in the world (it worked!),
you could tell people to add:

(S ?assertion)


(backchain `(S (? assertion) (? syn) ,input ()))

in the function parse, so that the assertions are displayed along with
the syntax at the final step. It made us pretty happy :o)

- -manolis
------- End of forwarded message -------