University of Aberdeen - Natural language front ends formal properties of linguistic formalisms semantic interpretation of English sentences particularly temporal semantics modelling of verbal humour