abstract: mention dichotomy of syntax and semantics
review acknowledgements
review introduction