LOCAL typenames : SET OF STRING := TYPEOF ( tspace ) ; END_LOCAL ; IF  ( schema_prefix + 'uniform_product_space' ) IN  typenames THEN  IF  idx <= tspace \ uniform_product_space . exponent THEN  RETURN  ( tspace \ uniform_product_space . base ) ; END_IF  ; RETURN  ( ? ) ; END_IF  ; IF  ( schema_prefix + 'listed_product_space' ) IN  typenames THEN  IF  idx <= SIZEOF ( tspace \ listed_product_space . factors ) THEN  RETURN  ( tspace \ listed_product_space . factors [ idx ] ) ; END_IF  ; RETURN  ( ? ) ; END_IF  ; IF  ( schema_prefix + 'extended_tuple_space' ) IN typenames THEN  IF idx <= space_dimension ( tspace \ extended_tuple_space . base ) THEN RETURN  ( factor_space ( tspace \ extended_tuple_space . base , idx ) ) ; END_IF  ; RETURN  ( tspace \ extended_tuple_space . extender ) ; END_IF ; RETURN ( ? ) ;