Anfonwch hwn fel neges destun: Foundations of semantic subsumption in deductive databases /