CIRCLIPS INT I