example-5-11

# Example 5.11 in journal paper
{square,circle,triangle} x PX

s1: (square, {})
t1: (triangle, {c1, c2, c3})
t2: (triangle, {c1, c3})
c1: (circle, {s1})
c2: (circle, {c3})
c3: (circle, {})