7.2.3 Agreement1 principle

• identifier: principle.agreement1
• dimension variables: D, D1
• argument variables:
  Agr1: tv(T)
Agr2: tv(T)
Agree: set(label(D))
• default values:
  Agr1: ^.D1.attrs.agr
Agr2: _.D1.attrs.agr
Agree: ^.D.entry.agree
• model record: empty
• constraints: Agreement (priority 100)
• edge constraints: none

This is the same principle as Agreement except that it has an additional dimension variable D1.