Use SpaceSearch to verify Conjunctive Query Rewrite Rules - View it on GitHub