A structure interprets a language over a domain. Here the domain is {a, b, c}, with a unary predicate P and a binary relation R. Click a cell in the left column to toggle P(x); click a cell in the matrix to toggle R(x, y). The formulas on the right are re-evaluated live, showing which ones the current structure satisfies.