Proofgold Term Root Disambiguation

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

as obj
-

as prop
6ece7..^atleast5_I

theory
HF

stx
8a441..

address
TMGcV..^atleast5_I