Added all the semantics. For some reason it seems to be failing now. Not really sure why