Proofgold Term Root Disambiguation

equip (setprod u6 u6) u36

as obj
-

as prop
9bff1..

theory
HotG

stx
36e89..

address
TMRAp..