7. The method of claim 1 , further comprising: (B) identifying a second subset of the plurality of cells, wherein the second subset contains a plurality of values of a plurality of logical types; (C) identifying a third subset of the plurality of cells, wherein the third subset contains a plurality of names of the plurality of values in the second subset, wherein the third subset and the second subset are disjoint.
7. The method of claim 1 , further comprising: (B) identifying a second subset of the plurality of cells, wherein the second subset contains a plurality of values of a plurality of logical types; (C) identifying a third subset of the plurality of cells, wherein the third subset contains a plurality of names of the plurality of values in the second subset, wherein the third subset and the second subset are disjoint. 15. The method of claim 7 , further comprising: (D) determining whether the plurality of values are consistent with the plurality of names.