Presuppositions related domains (1)