LOCAL is : SET  OF  item_shape := bag_to_set ( USEDIN  ( input , 'shape_property_assignment_xim.item_shape.described_element' ) ) ; se : SET OF shape_element := [ ] ; END_LOCAL ; REPEAT i := 1 TO SIZEOF ( is ) BY 1 ; se := se + bag_to_set ( USEDIN ( is [ i ] , 'shape_property_assignment_xim.shape_element.containing_shape' ) ) ; END_REPEAT ; RETURN ( QUERY ( dse <* se | 'derived_shape_element_xim.derived_shape_element' IN TYPEOF ( se ) ) ) ;