according to the following table.
A notation file covering the whole specification is provided.
The notation for the relations or functions introduced in each file
according to the following table.
A notation file covering the whole specification is provided.
The notation for the relations or functions introduced in each file