Further excursions in natural logic: The Mid-Point Theorems