// the following are different capability specifications 
// for testing & showcasing Goal-Capability-Matching

// a test capability, will not be retrieved by gcmatch.flr 
 
grCap:capability.

grCap[postcondition] :-
  _X:ticket[
    itinerary->_Itinerary:itinerary[
      startLocation -> greece,
      endLocation -> greece,
      departure -> Departure
    ]
  ],
  after(Departure,currentDate).



// a capability that "oversatisfies" the goal

// ews means "oiar legende Wollmilchsau"   
ews:capability.

//I am selling any product
ews[postcondition] :-
  _X:product.
//I am doing evry trade
ews[effect] :-
  _X:trade.