如何使用可选的右手操作数避免规则中的歧义？

如何解决如何使用可选的右手操作数避免规则中的歧义？

众所周知，ANTLR4 会自动进行左递归优化。但是当最后一个操作数是可选的时如何避免歧义？

以下面的简化语法为例：

grammar Example;

root: expression EOF;

expression: binaryExpression;

binaryExpression
    : binaryExpression 'and' binaryExpression
    | binaryExpression 'or' binaryExpression
    | 'no' ID 'in' ID ('satisfies' expression)?
    | '(' expression ')'
    | OPERAND
;

OPERAND: 'true' | 'false';
ID: [a-z]+;
WS: (' ' | '\r' | '\t')+ -> channel(HIDDEN);

此语法接受表达式 no x in y 和 no x in y satisfies condition。但是，在左重构期间不考虑可选子规则 ('satisfies' expression)?。因此，输入 no x in y satisfies true and false 被报告为歧义输入：

解析器假设有两个可行的树，no x in y satisfies (true and false) 和 (no x in y satisfies true) and false，但只有第一个应该被视为可行的解释。

有人可能会争辩说我可以按如下方式重写语法：

binaryExpression
    : binaryExpression 'and' binaryExpression
    | binaryExpression 'or' binaryExpression
    | 'no' ID 'in' ID 'satisfies' expression
    | 'no' ID 'in' ID
    | '(' expression ')'
    | OPERAND
;

尽管它“有效”，但除了对性能的影响之外，错误报告也不再有用，因为在解析器到达 ID 标记之前无法推断接下来会发生什么。

有什么方法可以重构语法来明确指定量词的 RHS 中的表达式应该始终优先吗？