(R2) объявление-nolot= "NOLOT called"
(имя-nolot | список-имен-nolot).
(R3) объявление-lot
= "LOT called" (имя-lot | список-имен-lot).
(R4) объявление-подтипа
= подтип-nolot | подтип-lot.
(R5) подтип-nolot
= "NOLOT called"
(имя-nolot-1 | список-имен-nolot-1)
"is subtype-of NOLOT called"
имя-поlоt-2 ; .
(R6) подтип-lot= "LOT called"
(имя-lot-1 | список-имен-lot-1)
"is subtype-of LOT called" имя-lоt-2 ;.
(R7) объявление-идеи= "IDEA (with-first ROLE (called"
имя-роли-1
"and on NOLOT called"
имя-поlоt-2 )
"and with-second ROLE (called"
имя-роли-2