Proofgold Term Root Disambiguation

CD_add (Sing 3) CSNo add_CSNo

as obj
3681e..^add_HSNo

as prop
-

theory
HotG

stx
43801..

address
TMHUN..^add_HSNo