Proofgold Term Root Disambiguation

CD_proj1 (Sing 3) CSNo

as obj
c8e61..^HSNo_proj1

as prop
-

theory
HotG

stx
43801..

address
TMPU3..^HSNo_proj1