interrogative, statement, exclamatory, imperative Balance of sentence types e.g. simple, compound, complex, minor Text Level – look for: Topic sentences Length of paragraphs Layout and presentational devices e.g. Images, colour, headings... Connectives Order of information e.g. chronological Form...
The set SenΩ(V ) of all typed equational Ω-formulae contains the truth values true, f alse and all formulae built using the equality predicates t = t for t, t ∈ TΩ(V )s, and the usual connectives ¬, ∨, ∧, ⇒. Semantics. A Ω-model is a family M = {Ms}s∈S ...