Let us focus our attention again on text (4).
we have seen that a computer program may be able to hypothesize the first exclusive disjunction in (6) using only knowledge about the discourse function of the connective .