Tiny Structure Lab

Build a small finite structure with two predicates and one directed relation. A brute force evaluator checks a handful of first-order formulas as you edit.