Topic- and mode-sensitive interaction strategies : Functions of ellipsis in oral communication

In this article, we discuss ellipsis as an interactive strategy by analysing the author’s textchat corpus and the VOICE corpus of English as a Lingua Franca. It is found that there were fewer repetitions in the textchat data, and this is explained as a consequence of the textchat mode. Textchat contributions are preserved as long as the chat is active or has been saved, and therefore users can scroll through and review the discussion, compared to the more fleeting nature of oral conversation. As a result, repetition is less necessary. The frequency of other functions identified could be attributed to the topic of discourse. Discussions involve much ellipsis used to develop discourse, although some were self-presentations with repetition used to confirm details. Back-channel support and comments were often low because speakers instead used forms like yeah as supportive utterances.

On Arbitrary Selection Strategies for Basic Superposition

For first-order Horn clauses without equality, resolution is complete with an arbitrary selection of a single literal in each clause [dN 96]. Here we extend this result to the case of clauses with equality for superposition-based inference systems. Our result is a generalization of the result given in [BG 01]. We answer their question about the completeness of a superposition-based system for general clauses with an arbitrary selection strategy, provided there exists a refutation without applications of the factoring inference rule.