Proofgold Term Root Disambiguation

HSNo_proj1 0 = 0

as obj
-

as prop
1878d..^HSNo_p1_0

theory
HotG

stx
43801..

address
TMHNJ..^HSNo_p1_0