So I am wondering what is meant by a model by them--a row in a table listing constraints, a relation, a prolog rule?