Я понял это, так что для всех, кто интересуется здесь, как это работает:
Для любого узла ИЛИ заключите в скобки весь левый член и весь правый член.
IE, для ab | c (d | e) дерево структурировано так, что узел OR соединяет d и e, так что термин должен быть «(d или e)», а узел OR соединяет ab и c (d | e), поэтому термин должен быть «(a и b или c и (d или e))».