Type
a
(a,b) %[Intersection]%
a->b
a->b->c
(a)
a->(b->c)
(a->b)->c