Proofgold Term Root Disambiguation

CD_proj0 (Sing 3) CSNo

as obj
0380b..^HSNo_proj0

as prop
-

theory
HotG

stx
43801..

address
TMYTk..^HSNo_proj0