(FIND-ALL-SUBTERM-INSTANCES)
(FIND-ALL-ELEMENT-INSTANCES)
(FIND-ALL-ANNOTATED-PATTERN-INSTANCES)
(PAIRS-TO-DOUBLETS)
(ALL-LEMMA-INSTANCES)
(USE-WHEN-FN)
(FLAT-ANNOTATIONSP)
(FLAT-ANNOTATIONS-TO-DOUBLETS)
