Reasoning about a Rule | Synapse