formalism=scfg intersection_strategy=full scfg_max_span_limit=999999999