This report discusses a new approach to the specification of properties of multiagent environment and the generation of plans for such domains. The ideas presented elaborate previous work on a formal, behavioral model of concurrent action, called GEM (the Group Element Model).
