Small Structures

Build a tiny structure by toggling a relation and a predicate. Type a first-order style formula and see if it comes out true or false.