LOCAL new_check_items : SET  OF  founded_item_select ; result_items : SET  OF  founded_item_select ; next_items : SET OF founded_item_select ; END_LOCAL ; result_items := [ ] ; new_check_items := checked_items + item ; next_items := QUERY ( z <* bag_to_set ( USEDIN ( item , '' ) ) | ( 'representation_schema.representation_item' IN  TYPEOF  ( z ) ) OR ( 'representation_schema.founded_item' IN  TYPEOF ( z ) ) ) ; IF  SIZEOF ( next_items ) > 0 THEN  REPEAT i := 1 TO HIINDEX ( next_items ) ; IF NOT ( next_items [ i ] IN new_check_items ) THEN result_items := result_items + next_items [ i ] + using_items ( next_items [ i ] , new_check_items ) ; END_IF  ; END_REPEAT ; END_IF ; RETURN ( result_items ) ;