With quantified predicates, the entailed consequence 'Some mortals are all humans' is intelligible a...