 Since the Meinongian accepts only the weaker version (PPa) of the predication principle, the inference from premise 1 (“Pegasus is a flying horse”) to “Pegasus exists” is blocked. All that can be derived from premise 1 is the weaker claim