Example 20. K545/i with instances of five schemata