Added some code for backward inferring in numericalentailment-introduction rules.