The first is that the noun in this construction already has some of the semantics of an ordinary verb.
In such a framework, there would seem to be no reason not to include social meaning along with 'ordinary' semantics and pragmatics.
Accepting the purely syntactic part of this extremely simple analysis, let us consider the semantics of the sentence.
The semantics of the language is based on a translation, and it exploits abstract data types rather than polymorphic types and recursion.
Ultimately, design search is about the gelling together of syntax and semantics.
This type of semantics is useful for goal-directed programming.
Action semantics is useful for reasoning about language implementations.
The law is also useful for the semantics of a typed imperative language with conventional syntax.
