Question: Do they model semantics 
Answer: Yes
Alternative answer: Yes