Proofgold Term Root Disambiguation

CSNo (minus_CSNo 1)

as obj
-

as prop
402a9..

theory
HotG

stx
b9e40..

address
TMcyZ..