addition



INSTANCE addition#1;
	addends = ?addends;
END_INSTANCE;



INSTANCE addition#2;
	addends = {?z, minus#1};
END_INSTANCE;