This poster investigates the use of theoretical benchmarks to describe the matching functions of XML retrieval systems and the properties of specificity and exhaustivity in XML retrieval. Theoretical benchmarks concern the formal representation of qualitative properties of IR models. To this end, a Situation Theory framework for the meta-evaluation of XML retrieval is presented. Categories and Subject Descriptors: H.3.3 Information Search and Retrieval General Terms: Theory, Measurement