Proofgold Term Root Disambiguation

SNoCutP 0 0

as obj
-

as prop
a5144..^SNoCutP_0_0

theory
HotG

stx
0d8c8..

address
TMFvH..^SNoCutP_0_0