LOCAL types : SET OF STRING := TYPEOF ( tspace ) ; END_LOCAL ; IF  ( schema_prefix + 'uniform_product_space' ) IN  types THEN  RETURN  ( tspace \ uniform_product_space . exponent ) ; END_IF  ; IF  ( schema_prefix + 'listed_product_space' ) IN  types THEN  RETURN  ( SIZEOF ( tspace \ listed_product_space . factors ) ) ; END_IF  ; IF ( schema_prefix + 'extended_tuple_space' ) IN types THEN RETURN  ( space_dimension ( tspace \ extended_tuple_space . base ) ) ; END_IF ; RETURN ( ? ) ;