// define an instance of Goal

mygoal:goal.

// Goal Postcondition: 
// a ticket for an itinerary from Innsbruck to Frankfurt
mygoal[postcondition->
  myTicket:ticket[
    itinerary -> _#:itinerary[
      startLocation -> innsbruckHbf,
      endLocation -> frankfurtHbf,
      departure -> _#:dateAndTime[
        date -> _#:date[
          dayOfMonth->17,
          monthOfYear->5,
          year->2004
        ],
        time.hourOfDay -> 18:hourOfDay
      ]
    ],
    traveller->_#:traveller[name -> 'Dieter Fensel']
  ]
].

// Goal Effect: a trade for the ticket, payed by creditcard
mygoal[effect->
  mytrade:trade[
    items ->> myTicket,
    buyer -> _#[
      shipTo -> myAddress,
      billTo -> myAddress
    ],
    payment-> myCreditCard:creditCard[
      name    -> 'Dieter Fensel',
      number  -> 1234567890,
      expMonth -> 9,
      expYear  -> 2006,
      type     -> 'MasterCard'
    ]
  ], 
  myAddress:address[
    name    -> 'Dieter Fensel',
    street  -> 'Technikerstrasse',
    number  -> 13,
    zipcode -> 6020,
    city    -> innsbruck,
    state   -> tirol,
    country -> austria
  ]
].