Oración 1: el juego está definido por la propiedad objetivo y los movimientos permitidos en cada paso
Oración 2: en el juego de Banach–Mazur "BM" ( "X" ), los movimientos permitidos son subconjuntos abiertos no vacíos del movimiento anterior, y el jugador I gana si formula_1
Conector: por ejemplo,
Relación: entailment
Género: articles