Proofgold Term Root Disambiguation

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

as obj
-

as prop
649d8..^atleast4_I

theory
HF

stx
8a441..

address
TMXWF..^atleast4_I