Describir: Learning to Solve Class-Inclusion Problems: The Roles of Quantification and Recognition of Contradiction.