Proofgold Term Root Disambiguation

∀ x0 . exactly2 x0 ⟶ and (atleast2 x0) (not (atleast3 x0))

as obj
-

as prop
84897..^exactly2_E

theory
HF

stx
8a441..

address
TMUGt..^exactly2_E