Specifying Agent Conditions