ELHR+ Reasoning in f