Semantic Analysis version 0.1