In my analysis, since a SI is calculated after the sentence is interpreted, all infomation in the sentence can be considered to be presuppositions, following Stalnaker (1978Stalnaker ( , 2006.
even X can be bound by X in the main DRS.