Proofgold Term Root Disambiguation

CD_add (Sing 4) HSNo add_HSNo

as obj
29887..^add_OSNo

as prop
-

theory
HotG

stx
5c6b2..

address
TMbAa..^add_OSNo