Proofgold Term Root Disambiguation

SNo_pair 0 1

as obj
df0e4..^Complex_i

as prop
-

theory
HotG

stx
2fb59..

address
TMRLL..^Complex_i