Lifted Logic P