SMS versenden: Anaphora and type logical grammar