Cuando el evaluador encuentra una forma (F A1 A2…) entonces se asume que el símbolo nombrado F es uno de los siguientes: