How do you define 'Inference Rules' to define the Predicates?

Printable View