typeside t schema s1 : t instance i1 : s1 instance i2 : s1 ---------------------------------- constraints (learn i1 i2) : s1