Proofgold Term Root Disambiguation

OSNo Complex_i

as obj
-

as prop
12bbc..^{OSNo_Complex_i}

theory
HotG

stx
5c6b2..

address
TMK1x..^{OSNo_Complex_i}