Proofgold Term Root Disambiguation

CD_add (Sing 2) SNo add_SNo

as obj
75630..^add_CSNo

as prop
-

theory
HotG

stx
5ed1a..

address
TMUBK..^add_CSNo