This treatment has the added advantage that one does not have to treat This is not because as a separate cue phrase.
rather, negation simply produces i1: ¬explanation(interp(TB),interp(T1)) i2: elaboration(i1,interp(T1)) T1 is elaborated by a denial of a (possible) explanation.