Proofgold Term Root Disambiguation

CD_carr (Sing 2) SNo

as obj
a08f5..^CSNo

as prop
-

theory
HotG

stx
5ed1a..

address
TMNus..^CSNo