Structure Garden

Build a small finite structure with one relation. See which first-order sentences are true, and use Nudge to repair a failure.