Add inferencing rules