Reasoning about record matching rules | Synapse