Proofgold Term Root Disambiguation

CSNo_Im Complex_i = 1

as obj
-

as prop
6a700..^Im_i

theory
HotG

stx
7edd8..

address
TMUhv..^Im_i