Proofgold Term Root Disambiguation

SNo_pair 0 1

as obj
04654..^Complex_i

as prop
-

theory
HotG

stx
5ed1a..

address
TMawz..^Complex_i