Working on making sure that all the cases in the semantics function
work correctly.