Proofgold Term Root Disambiguation

CSNo_Im 1 = 0

as obj
-

as prop
1ca93..^Im_1

theory
HotG

stx
7edd8..

address
TMZBL..^Im_1