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