The terminology and notation used in this paper have been introduced in the following articles: [29], [16], [12], [13], [11], [1], [2], [32], [18], [30], [24], [25], [26], [27], [3], [9], [34], [35], [33], [28], [15], [21], [37], [10], [31], [20], [23], [5], [14], [6], [22], [8], [4], [19], [36], and [7]. Let I be a set and let J be a relational structure yielding many sorted set indexed by I. ...