LOCAL pd_set : SET  OF  property_definition := [ ] ; pdr_set : SET OF property_definition_representation := [ ] ; END_LOCAL ; pd_set := bag_to_set ( USEDIN  ( s_a_instance , 'automotive_design.property_definition.definition' ) ) ; IF ( SIZEOF ( pd_set ) < 1 ) THEN RETURN  ( pdr_set ) ; END_IF ; REPEAT i := 1 TO HIINDEX ( pd_set ) ; pdr_set := pdr_set + ( QUERY ( pdr <* USEDIN ( pd_set [ i ] , 'automotive_design.property_definition_representation.' + 'definition' ) | 'automotive_design.shape_definition_representation' IN TYPEOF ( pdr ) ) ) ; END_REPEAT ; RETURN ( pdr_set ) ;