inference and resolution