dictionary definitions for "inference rules"