class A
feature
	aa, ab,
$C3	ac,
	ad: INTEGER is unique
end