Text this: Intervals for the resultants of interval forces with existentially and/or universally quantified formulae with the help of the method of quantifier elimination