... (a) and (b). At Step(c), INSIDE+= {A inside B, D inside C} and CONTAINS+= {B contains A, C contains D}.Then M in ∗ Mabove2= {A above C}, since A above C :: A inside B, B above C.Mabove2∗ ... {B above D, A above D}, sinceB above D :: B above C, C contains D, A above D :: A above C, C contains D.And M in ∗ Mabove2∗ Mco= {A above D}, sinceSPATIAL RELATIONSHIPS IN CONTENT -BASED ... E)},MTabove∗ GTabove= {A above D, C above F, A above F }. In fact, we can have the following derivations for A above D, C above F, and A aboveF in MTabove∗ GTabove. A above D :: A above...