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;