Text this: Reasoning with rules :