Can I automate class inheritance of attributes, or do I need to add each attribute of a superclass to a subclass manually?
This is possible, and you can try it if you like. You would need to add a meta-level rule to do this for all classes. Meta-level rules go in the metalibrary. Note that adding attributes to subclasses manually is just fine as far as grading is concerned. However adventurous students can try and add a rule to the metalibrary.
