inference rules dir