 seem to be logically true (at least according to the intuitions of some logicians—see Lambert 1983). Furthermore, they seem to have the logical structure of predications. According to (PP) and (EG), (1) implies