Finite Structure Playground

A small world of relations. Type a first order formula and see how often it holds as the structure shifts.