lambda1@tg says to YSITD They defined several types of semantics: formal semantics lexical semantics etc...