Pošljite SMS: Logical reasoning with diagrams