In this case, we are not saying anything of any Bosnian philosophers, but of the concept "is a Bosnian philosopher" that it is not satisfied. Thus the predicate "is not satisfied" attributes something to the concept "is a Bosnian philosopher", and is thus a second-level predicate.