The hypotheses that (1) with regard at least to scope, deep structure is identical to logical structure, e.g. a quantified expression is a sister of the S that is its scope, and (2) the rules relating deep structure to surface apply according to a strict principle of cyclicity, explain both why there are many systematic parallels between surface syntactic structure and logical structure (e.g. cases where surface c-command relations match logical scope relations) and why there are the derivations there are from these parallels (as where a tensed auxiliary verb in English can be in the scope of a following floated quantifier, contrary to an otherwise valid generalization).
The approach is put to work in accounting for distinctions (explored in Heycock 1995) between cases in which anaphora constraints seem to require 'reconstruction' of an underlying structure vs. those in which they do not. The resulting analysis, which exploits some hitherto overlooked details of the logical structures and an improved statement of the restrictions on anaphoric relations, has no need of reconstruction.