The values that the tabular variable PATRONS may assume are the actual
tables that have the name and the heading specified at the creation of the
tabular variable. In addition, we can specify several types of constraints that
any value of the tabular variable must satisfy.