p "v" (q "—>" r)