Kapittel 14 – Representasjon av kvantifiserte utsagn / Representasjon av predikater