In order to see how the rules in (11b) and (11c) interact, consider (12), the case of topicalization in English: In (12), loves of category (S\NP)/NP cannot combine with the object Mary because it is preposed.
it has to combine with the subject John by function composition (11b) first, which is type-raised into the function taking a verb phrase as argument.