LOCAL esval1_is_numeric , esval2_is_numeric : LOGICAL ; END_LOCAL ; IF  ( esval1 = esval2 ) OR  ( esval1 = es_generics ) OR  ( esval2 = es_generics ) THEN  RETURN  ( TRUE  ) ; END_IF  ; esval1_is_numeric := ( esval1 >= es_numbers ) AND  ( esval1 <= es_integers ) ; esval2_is_numeric := ( esval2 >= es_numbers ) AND  ( esval2 <= es_integers ) ; IF  ( esval1_is_numeric AND  ( esval2 = es_numbers ) ) OR  ( esval2_is_numeric AND  ( esval1 = es_numbers ) ) THEN  RETURN  ( TRUE  ) ; END_IF  ; IF  esval1_is_numeric XOR esval2_is_numeric THEN  RETURN  ( FALSE  ) ; END_IF  ; IF ( ( esval1 = es_logicals ) AND  ( esval2 = es_booleans ) ) OR ( ( esval1 = es_booleans ) AND ( esval2 = es_logicals ) ) THEN RETURN  ( TRUE ) ; END_IF ; RETURN ( FALSE ) ;