This article presents evidence from Spanish quantifier float that argues for the existence of PRO in control clauses and against the NP chain analysis of Sportiche's (1988) theory of quantifier float.

Cylindrical Algebraic Decomposition (CAD) is a pivotal algorithmic technique in real algebraic geometry, instrumental in resolving problems expressed in a first‐order language over the reals. By ...

This is a preview. Log in through your library . Journal Information The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued ...