This shows that the function computing semantic value can have, contrary to Higginbotham's claim, some of its values contingent on the nature of its argument.
if the expression M(A) is interpreted by F (a), where F is the function interpreting the functional expression M, the fact that the values F can assign to an argument can vary with the nature of that argument does not bear on the question of whether M(A) is compositionally interpreted.