Axiom Loom

Pick axioms for a binary relation. A search thread weaves a small finite structure that tries to satisfy them.