Mathematical logic
Predicate logic
Quantification
Model theory
Function
Subject
Verb
Interpretation
Theta role
Linguistics
Logic
Semantics