Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 x4 x5 . equip x0 x3 ⟶ equip x1 x4 ⟶ equip x2 x5 ⟶ TwoRamseyProp x0 x1 x2 ⟶ TwoRamseyProp x3 x4 x5

as obj
-

as prop
adde3..

theory
HotG

stx
b7c2b..

address
TMJbi..