Signature {2,2}->{3,2}
I
n
[
]
:
=
R
u
l
e
S
h
a
p
e
T
o
C
a
s
e
s
[
{
2
,
3
}
,
2
]
O
u
t
[
]
=
I
n
[
]
:
=
F
i
n
d
C
a
n
o
n
i
c
a
l
W
o
l
f
r
a
m
M
o
d
e
l
/
@
%
9
O
u
t
[
]
=
I
n
[
]
:
=
U
n
i
o
n
[
%
]
O
u
t
[
]
=