Das ist schon okay. Nur ist die Zugehörigkeit von Rosine nur indirekt abgebildet, nämlich über boundary. 
Früher gab es "is_in", um die Zugehörigkeit zu beschreiben. Das wird aber, soweit ich das sehe, nicht mehr angewandt.