Proofgold Term Root Disambiguation

∀ x0 . exactly4 x0 ⟶ and (atleast4 x0) (not (atleast5 x0))

as obj
-

as prop
01602..^exactly4_E

theory
HF

stx
8a441..

address
TMFMC..^exactly4_E