//class dictionary

// simplified cd for Triples transportation pattern example
// pages 320-325 in AP book.
Company = <customers> List(Customer).
Customer = "customer"
  <orders> List(Item)
  <name> String
  <location> String.
Item = "item"
  <made_by> Producer
  <name> String.
Producer = "producer"
  <name> String
  <location> String.
List(S) ~  {S} .

CustomerTV = 
  <name> String
  <location> String.
ProducerTV = 
  <name> String
  <location> String.
SameLocationV =
  <ctv> CustomerTV
  <ptv> ProducerTV.

Main = .