Proofgold Term Root Disambiguation

CD_proj0 (Sing 4) HSNo

as obj
a2972..^OSNo_proj0

as prop
-

theory
HotG

stx
5c6b2..

address
TMGtY..^OSNo_proj0