Proofgold Term Root Disambiguation

CD_minus (Sing 4) HSNo minus_HSNo

as obj
656a9..^minus_OSNo

as prop
-

theory
HotG

stx
5c6b2..

address
TMJft..^minus_OSNo