InstanceDeclarations can have a complex TypeDefinition with subobjects, variables and methods having different modelling rules.
As an InstanceDeclaration is a specific instance my assumption is that all rules apply and the InstanceDeclaration needs to have all mandatory parts.
Two questions:

1. If I create a subtype and want to override the InstanceDeclaration (e.g. add a Variable). Does the new InstanceDeclaration need to repeat all mandatory parts again or is it enough that the supertyp already has this information? I would assume the first one but I think it would be good to have a statement in the spec (I actually thought we had but I cannot find this anymore).
2. If the complex TypeDefinition of the InstanceDeclaration has a Method with the MandatoryPlaceholder ModellingRule. What is the expected behaviour? Part 3 states: "The Method definition with the MandatoryPlaceholder only defines the BrowseName. An instance or subtype defines the InputArguments and OutputArguments." Does that imply that the InstanceDeclaration already has to define the Agruments, since it is an instance? Or is it still allowed to use MandatoryPlaceholder? What about subtyping? If I override the InstanceDeclaration, can the new one still have MandatoryPlaceholder on the Method or not?