Func facts! Not much progress today, but we're now registering claim clauses to a "facts" database, and matching when clauses with existing facts &babbler.