Proofgold Term Root Disambiguation

∀ x0 . exactly5 x0 ⟶ and (atleast5 x0) (not (atleast6 x0))

as obj
-

as prop
2d4be..^exactly5_E

theory
HF

stx
8a441..

address
TMH9T..^exactly5_E