Example 20.
K545/i with instances of five schemata