Therefore, there seems to be no way to derive the structure in (17) under a non-mono-clausal analysis of the RDC.
the restriction on the extraction out of a post-verbal, i.e., RDed, embedded clause, naturally follows without making any stipulation.