Models of the Semantics of the Cyclone Language from Dan Grossman's thesis