SeaSpeak is “English for maritime communications.” It is a restricted, specially-designed dialect of English used in merchant shipping and accepted as an international standard. This paper discusses, in the context of SeaSpeak, two key problems in the formalization of any such restricted, specially-designed language, viz., representing the illocutionary force structure of the messages, and formalization of such reference-fixing devices from ordinary language as pointing and use of demonstratives. The paper conducts the analysis in terms of Kimbrough’s FLBC agent communication language.