Proofgold Term Root Disambiguation

equip 5 (setsum 1 (prim4 2))

as obj
-

as prop
bb318..

theory
HotG

stx
84d03..

address
TMVJ7..