This document was assembled by Don Sannella on the basis of comments submitted by Hubert Baumeister (referred to as HB below), Anne Haxthausen (AH), Till Mossakowski (TM), Peter D. Mosses (PDM), Don Sannella (DTS) and Andrzej Tarlecki (AT). The CoFI Semantics Task Group is coordinated by Don Sannella and Andrzej Tarlecki.