We present a prototype that implements a set of logical rules to prove the satisfiability for a class of specifications on XML documents. Specifications are given by means of constrains built on Boolean XPath patterns. The main goal of this tool is to test whether a given specification is satisfiable or not. and justify the decision showing the execution history. https://www.diegojavierfares.com/flash-find-Bushranger-Awning-2-5m-W-x-2-0m-L-2-Year-No-Fuss-Warranty-AW2000-best-save/