Proofgold Term Root Disambiguation

∀ x0 x1 x2 . equip x1 x0 ⟶ equip x2 x0 ⟶ equip x1 x2

as obj
-

as prop
86c40..

theory
HF

stx
06930..

address
TMd51..