Tiny Structure Lab

Build a finite directed graph and a marked set. Type a first-order formula and see whether it holds.