Syn: parameterized synthesized attribute with overriding equation in subclass A B SubA SubB