Proofgold Term Root Disambiguation

equip 4 (prim4 2)

as obj
-

as prop
26d05..

theory
HotG

stx
84d03..

address
TMbEX..