action inAuction() {   
on AuctionClosed outOfAuction();
}
 
action outOfAuction() {   
on all Price (stock,*):p and not InAuction() {
      on Price(stock,>p.price*1.01) and not InAuction() {
         sellStock();
      }
   }
   on InAuction() inAuction();
}