theoryMANCLP