Diagram Logical Reasoning - Search