Tiny Structures

Build a tiny finite structure and test sentences about P and R. When one fails, you get a concrete counterexample.