Stav dette: Prolegomena to inferential discourse processing