Frege's distinction between sense and force entails that predication as an act-type is semantically ...