CLIPS file pushed