Comment by m463

∃x car-with-good-control-design(x)

but not ∀ cars or ∀ manufacturers and not ∀ cars of any manufacturer