LOCAL spc_id : elementary_space_enumerators ; END_LOCAL ; IF  ( sc = sc_equal ) OR  NOT ( 'elementary_space' IN stripped_typeof ( spc ) ) THEN  RETURN  ( FALSE ) ; END_IF  ; spc_id := spc \ elementary_space . space_id ; IF  sc = sc_subspace THEN  RETURN  ( bool ( spc_id = es_generics ) ) ; END_IF  ; IF sc = sc_member THEN RETURN  ( bool ( ( spc_id = es_generics ) OR ( spc_id = es_maths_spaces ) ) ) ; END_IF ; RETURN ( ? ) ;