Proofgold Term Root Disambiguation

CSNo_Im 1 = 0

as obj
-

as prop
38910..^Im_1

theory
HotG

stx
5ed1a..

address
TMZub..^Im_1