relation

relation ::= 
      ( simple_expression [ 
      ( "=" | "/=" | "<" | "<=" | ">" | ">=" ) 
      simple_expression ] ) 
      | ( simple_expression [ "not" ] "in" ( range | subtype_mark ) ) 

This rule is called by

-> expression