Reasoning about rules and relationships

Coming soon...