adjust test to match for inclusion, not equality.
parse add child-symbol hashes to parent hash.
determine whether a given axiom is an annotation.
utilize pre_axiom callback to parse descriptions.