Renamed cause/prevent in semantic specs to fix bug