added final figures for syn semantics
Finished report on synthesis semantics