Definīcija: Konkrēta teikuma semantiskais modelis, ko veido leksēmas neatkarīgi no to gramatiskajām formām. Vienu un to pašu semantisko modeli var izteikt ar dažādas sintaktiskās struktūras teikumiem, piemēram, teikumiem Saule uzlēca sarkana. Saule uzlecot bija sarkana. Uzlēca sarkana saule ir viena un tā pati propozīcija. Propozīciju veido predikāts un aktanti.
Valodniecības pamatterminu skaidrojošā vārdnīca. — R., 2007