MALLET is a team-oriented agent programming language for specifying teamwork knowledge and behaviors; one interpreter of MALLET has already been implemented in the CAST (Collaborative Agents for Simulating Teamwork) system. This paper defines an operational semantics for MALLET in terms of a transition system. This is important not only in guiding the implementation of other interpreters for MA...