∀x.(pv(x) → (scontato(x) ↔ (costapiu(x) ∧ ¬ alcolico(x))))