typeside t schema s1 : t schema s2 : t schema s3 : t mapping m12 : s1 -> s2 mapping m23 : s2 -> s3 ---------------------------------- mapping [m12 ; m23] : s1 -> s3