Yeah I see now that P in the original post means a _property_, not a _predicate_. That clears it up :)