Videos Semantics 1

Predicate logic

Formal model:

Atomic formulae: computing the truth value

Complex formulae: computing the truth value

Complex formulae: computing the truth value

Complex formulae: truth table

Logical determiners:

Syntax (HPSG)

Basic steps in a syntactic analysis:

Tree terminology:

Lexical entries:

HPSG analysis: