data specification 
   using okaction , 
         string-less

   name
   = Airline-flightOffers | CreditCardCenter-ccd | TravelPlanner-flightOffer | locVar( . .name : string) with isLocVar | 
     state( . .name : string) with isState | Mailbox( . .cmd : command) with isMailbox | declassify-count( . .name : string) with isDeclassify-count | 
     User-ConfirmRelease( . .name : string) with isUser-ConfirmRelease | User-ConfirmReleases( . .name : string) with isUser-ConfirmReleases | 
     User-ConfirmRelease-count( . .name : string) with isUser-ConfirmRelease-count | 
     User-ConfirmedRelease-count( . .name : string) with isUser-ConfirmedRelease-count | 
     User-GetSingleSelection( . .name : string) with isUser-GetSingleSelection | 
     User-GetSingleSelections( . .name : string) with isUser-GetSingleSelections | 
     User-GetSingleSelection-count( . .name : string) with isUser-GetSingleSelection-count | 
     User-GetMultipleSelection( . .name : string) with isUser-GetMultipleSelection | 
     User-GetMultipleSelections( . .name : string) with isUser-GetMultipleSelections | 
     User-GetMultipleSelection-count( . .name : string) with isUser-GetMultipleSelection-count | User-GetInput( . .name : string) with isUser-GetInput | 
     User-GetInputs( . .name : string) with isUser-GetInputs | User-GetInput-count( . .name : string) with isUser-GetInput-count | 
     User-Confirm( . .name : string) with isUser-Confirm | User-Confirms( . .name : string) with isUser-Confirms | 
     User-Confirm-count( . .name : string) with isUser-Confirm-count | 
     ReadSourceInputs( . .methodname : string;  . .call : string) with isReadSourceInputs | 
     ReadSourceCount( . .methodname : string;  . .call : string) with isReadSourceCount
   ;
   variables 
      nam, nam0, nam1 : name; 
end data specification