VFAV, ECMA-367, intermediate version 36, section 8.5.27

     Alias validity rule

     An Alias clause is alias-valid for a feature f of a
     class C if and only if it satisfies the following
     conditions:

        1 If it lists an Operator op: f is a query; no
          other query of C has an Operator alias using the
          same operator and the same number of arguments;
          and either: op is a Unary and f has no argument,
          or op is a Binary and f has one argument.

        2 If it lists a Bracket alias: f is a query with at
          least one argument, and no other feature of C has
          a Bracket alias.

        3 If it lists a Parenthesis alias: f is a routine
          with at least one argument, and no other feature
          of C has a Parenthesis alias. 

        4 No other Alias of f has the same Alias_name.

        5 If it includes a convert mark: it lists an
          Operator and f has one argument.
