Proofgold Term Root Disambiguation

CSNo 0

as obj
-

as prop
b5ed6..^CSNo_0

theory
HotG

stx
93147..

address
TMN5m..^CSNo_0