Enviar por SMS: Foundations of semantic subsumption in deductive databases /