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)
and
(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 -------