Любой может дать мне краткое описание использования «одинарных кавычек» в Ada ?

Я только что прочитал «Программирование на Аде», но немного запутался в том, как использовать ' (одинарная кавычка) в Аде.

Я понимаю, что ' используется для ссылки атрибута . AAA'Image (..), BBB'Value (..)

Однако, учитывая этот фрагмент кода:

   type Plain_Vector (Capacity : Capacity_Subtype) is record
      Elements : Elements_Array (1 .. Capacity);
      Last     : Extended_Index := No_Index;
      Busy     : Natural := 0;
      Lock     : Natural := 0;
   end record;
 ------------------------------------------------------------------
   new Plain_Vector'(2, (Left, Right), Last => Last, others => <>)

Q1: Как аргументы «нового» оператора соответствуют параметрам типа и полям записи?

 I can GUESS "2" matched "Capacity", 
             "(Left, Right)" matched "Elements", 
             "Last => Last" matched "Last"
             "Others => <>" matched "Busy" and "Lock" to let them use default value.

Но это всего лишь УГАДАЙ, есть ли официальное объяснение грамматики по этому поводу?

Q2: Что делает '? (в "новом" утверждение)

Это атрибут или имеет ли он какое-либо другое значение?

Где я могу найти краткое описание использования «одинарной кавычки» в Аде ?

Я долго пытался узнать эту информацию, но безуспешно.

Заранее благодарю. Майлз.