ssetintersection

ssetintersection:=
expressions | sarrow
expressions | sarrow && ssetintersection_list