Example 17c.
Uic
|x|
1
|y|
1
|z|
1
|q|
1
:
Twelve
MORRIS+
4
VL with uic
0
1
2
1
3
1
5
1
(see chart in 17b)