Proofgold Term Root Disambiguation

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

as obj
-

as prop
2ad64..^Subq_tra

theory
HF

stx
8a441..

address
TMFG9..^Subq_tra