Proofgold Term Root Disambiguation

∀ x0 x1 x2 . Subq x0 x1 ⟶ atleastp x1 x2 ⟶ atleastp x0 x2

as obj
-

as prop
3394a..

theory
HF

stx
ac81c..

address
TMKVP..