Proofgold Term Root Disambiguation

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

as obj
-

as prop
3654c..^exactly4_I

theory
HF

stx
8a441..

address
TMSqC..^exactly4_I