Anfonwch hwn fel neges destun: Satisfiability and Relevance for queries over Active Documents