basic pattern rule works
got the meta level working where rules aren't just satisfied by the symbols (keywords) from other rules, but the symbols are generalized or made more specific by traversing the ontology, and those are used to fill in rules.
...can't forget some experiment code