Proofgold Term Root Disambiguation

∀ x0 . exactly3 x0 ⟶ and (atleast3 x0) (not (atleast4 x0))

as obj
-

as prop
151e5..^exactly3_E

theory
HF

stx
8a441..

address
TMRxL..^exactly3_E