Proofgold Term Root Disambiguation

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

as obj
-

as prop
d616c..^equip_tra

theory
HotG

stx
ed591..

address
TMP3P..^equip_tra