Proofgold Term Root Disambiguation

hf term
(object) array( 'type' => 'termroot', 'hfbuiltin' => true, 'trmpres' => 'exactly1of2 = λ x1 x2 : ο . or (and x1 (not x2)) (and (not x1) x2)', )

address
TMJMi..^{exactly1of2_def}