Now using correct "merge" fn.
Needed to deref message substitution for use in RUI.
numerical-entailment-elimination now ignores RUIs when :pos = 1.