Proofgold Term Root Disambiguation

CSNo_Re 0 = 0

as obj
-

as prop
4d323..^Re_0

theory
HotG

stx
7edd8..

address
TMU3h..^Re_0