Section 8.1 Point out the advantage of records in grouping together logically related information of different types. There are countless real-world examples of this to which students can relate. Section 8.2 Ada does not restrict the type of subprogram parameters or function results, so parameter passing is completely general. On the other hand, they will miss the fact that there is no equivalent in Ada to Pascal's WITH . Also point out the benefits of named association, which works the same as it does with subprogram parameters.
Positional association is legal but more error-prone.
Section 8.4 Note that in Ada the type of each field must have a type name. There is no equivalent to Pascal's ability to nest a record directly in another, so subrecord types must be separately declared. This leads to better decomposition in any case. You might motivate arrays by explaining that an array could be implemented as a set of distinct scalar variables, but that it is convenient to group them together. This makes arrays more uniform and general than in any of the other languages your students will know.