the set formula_75 of "allowed moves" in a history formula_75 is formula_49 if the most external operator of formula_79 is formula_84 or formula_86; it is formula_93 (formula_94 being any two distinct objects, symbolizing 'left' and 'right') in case the most external operator of formula_79 is formula_83 or formula_85.