(315,060)<#4626#>
(000,050)<#4438#>cardinality<#4438#>
119
(000,030)<#4439#>(1,0)<#3465#>030<#3465#><#5168#>#tex2html_wrap6679#(070,010)<#5169#>number<#5169#><#5168#>
(1,0)<#3468#>030<#3468#><#4439#>
120
(005,020)<#3469#>(20,20)[rt]<#3469#>
(025,020)<#3470#>(20,20)[lb]<#3470#>
(025,010)<#4440#>(1,0)<#3471#>005<#3471#><#5171#>#tex2html_wrap6683#(070,010)<#5172#>synonym-name<#5172#><#5171#>
(1,0)<#3474#>005<#3474#><#4440#>
(105,020)<#3475#>(20,20)[rb]<#3475#>
(125,020)<#3476#>(20,20)[lt]<#3476#>
121
<#4626#>
The elements of a row all have the same type, and are numbered
from 1 up to the <#3477#>cardinality<#3477#> of the declarer, which must be either
a <#3478#>number<#3478#> or a synonym for a <#3479#>number<#3479#>. This <#3480#>cardinality<#3480#>
is therefore fixed, it can not be the result of an <#3481#>expression<#3481#>
other than a <#3482#>number<#3482#>.