-record(relation, {name :: binary(), holds :: fun((any(), any()) -> boolean())}).