Background

Internal notes from ongoing experimentation with Hole Unification Semantics (aka the MRS Algebra on steroids).

Debugging Techniques

Add :trace t to the call to evaluate() to see the terms that go into each operation and its result.

Interpreting an LKB Edge

(simplify (evaluate (nth 7 lkb:*parse-record*)))