LOCAL typenames : SET OF STRING := TYPEOF ( tspace ) ; END_LOCAL ; IF  ( schema_prefix + 'uniform_product_space' ) IN  typenames THEN  RETURN  ( tspace \ uniform_product_space . base ) ; END_IF  ; IF  ( schema_prefix + 'listed_product_space' ) IN  typenames THEN  RETURN  ( tspace \ listed_product_space . factors [ 1 ] ) ; END_IF  ; IF ( schema_prefix + 'extended_tuple_space' ) IN typenames THEN RETURN  ( factor1 ( tspace \ extended_tuple_space . base ) ) ; END_IF ; RETURN ( ? ) ;