class A

feature

	a $(A): BOOLEAN is
		do
		end

end