Логика предикатов как инструмент семантического анализа

Связь между синтаксической структурой предложения и логической формой. Можно рассмотреть кванторы, переменные, отношения и область действия кванторов на примерах естественного языка.