This document is partly a tutorial and partly a polemic about the theory of the syntax-semantics interface advocated in Yatabe and Tam (2021), which achieves descriptive adequacy in empirical domains in which other theories have persistently fallen short and does so in a way that calls into question some of the widely held fundamental assumptions about the syntax-semantics interface. The theory that I describe in this document has achieved, using only simple and well-motivated mechanisms of Linearization-based HPSG and Minimal Recursion Semantics, a reasonably comprehensive descriptive adequacy in regard to phenomena such as right-node raising, left-node raising, and split-antecedent relative clauses, none of which has received satisfactory treatment in other theories of grammar. Much of the content of this document is recapitulation of material that has already appeared in the literature, but I make a new theoretical proposal about how coordination of scopal predicates, including coordination of quantifiers, might be handled in Minimal Recursion Semantics.