plan CounterPlan extends Plan{
    #handles event CounterEvent e;
    #uses agent implementing GenericCounter ca; 
	body(){
		if(ca.getCurrentCount() < 10){ //reasoning
			@waitFor(elapsed(2));	//delay for 2 seconds
			ca.countNext();
		}else{
			System.out.println("Count to 10!");
			ca.die();
		}
	}
}