Anfonwch hwn fel neges destun: XPath satisfiability in the presence of DTDs