Enviar por SMS: Reasoning from quantified modal premises