Proofgold Term Root Disambiguation

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

as obj
-

as prop
30edc..^equip_tra

theory
HF

stx
e311e..

address
TMKhM..^equip_tra