Proofgold Term Root Disambiguation

∀ x0 x1 . Subq x1 x0 ⟶ not (Subq x0 x1) ⟶ atleast5 x1 ⟶ atleast6 x0

as obj
-

as prop
500a3..^atleast6_I

theory
HF

stx
8a441..

address
TMXh9..^atleast6_I