Abstract:Ongoing research on natural language inference where we propose a new set of tasks that require specific capacities over linguistic logical forms such as i) Boolean coordination, ii) quantifiers, iii) definitive description, and iv) counting operators.