A set of inference rules.
Një bashkësi rregullash inference.