局所的には複数の演算子にマッチし得て、式全体を通してみると一意に決定されるとか？ (edited)