INSTANCE adder#4; extracted_from = {equation#8}; covers = equation#8; description = "the addends are {student_course_record.exam_mark, student_course_record.lab_mark}, and the sum is student_course_record.total_mark"; addends = {explicit_attribute#321, explicit_attribute#322}; sum = explicit_attribute#323; END_INSTANCE;