Add rules to test how it works in reasoners