问题 I have a student, who have list of courses. Also I have a lectures and I need to check that student courses list and list of courses of lectures that he visits are same I added rule for case, when student visits lecture, that he doesn't have in courses list: when $student:Student ($courses:courses) LectureAssignment(student == $student, course not memberOf $courses) then scoreHolder.addHardConstraintMatch(kcontext, -1); But I also need to check, that student visits all lecture, that he have