MuSR

Multi-step soft-reasoning problems written so they cannot be solved by pattern matching a single sentence.