Proofgold Term Root Disambiguation

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

as obj
-

as prop
6b4a4..^atleast3_I

theory
HF

stx
8a441..

address
TMM2b..^atleast3_I