Projects for Formal Semantics