Better parser works, beginning semantics