adder


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;