Even if the predicate 'is red' truly applies to multiple objects, this does not require those object...