getting some o/p: rules without body