Dynamic names are non-compound words without definite article and start with a capital letter.
Dynamic names are introduced in appositive position and automatically get the number, gender and countability information of the preceding common noun. Dynamic names in appositive position can be used to distinguish single instances of the set of objects denoted by the preceding common noun. Every animal A1 eats every animal A2 that is smaller than A1. When used alone in the succeeding text dynamic names are understood anaphorically . Every now and then we discuss introducing types but then decide to postpone the decision.