|
| Round 0 | Name(Peter). |
| DateOfBirth(19830622). |
| Gender(Male). |
| CreditCardNo(1234432156788765). |
| CreditCardHolder(PETER JACKSON). |
| CreditCardCVV(123). |
| flight(F100,Paris,Chicago,23,250). |
| flight(F101,Paris,Chicago,23,350). |
| flight(F102,Paris,Chicago,25,400). |
| flight(F103,Chicago,Paris,29,150). |
| flight(F104,Chicago,Paris,30,200). |
| flight(F105,Chicago,Paris,30,150). |
| DB_CreditCard(876543212345678,PAUL BROWN,123). |
| DB_CreditCard(1234432156788765,PETER JACKSON,123). |
|
| Round 1 | myRequest:RequestFlight[From->Paris] |
| myRequest:RequestFlight[To->Chicago] |
| myRequest:RequestFlight[Departure->23] |
| myRequest:RequestFlight[Return->30] |
|
| Round 2 | tripChoice(F100,F104,450) |
| tripChoice(F100,F105,400) |
| tripChoice(F101,F104,550) |
| tripChoice(F101,F105,500) |
|
| Round 3 | trip:Trip[Dep->F101] |
| trip:Trip[Ret->F105] |
|
| Round 4 | question:QuestionByWS[Name->_h592309] |
| question:QuestionByWS[DateOfBirth->_h592309] |
| question:QuestionByWS[Gender->_h592309] |
|
| Round 5 | answer:AnswerByGoal[Name->Peter] |
| answer:AnswerByGoal[DateOfBirth->19830622] |
| answer:AnswerByGoal[Gender->Male] |
|
| Round 6 | question:QuestionByWS[CreditCardNo->_h592309] |
| question:QuestionByWS[CreditCardHolder->_h592309] |
| question:QuestionByWS[CreditCardCVV->_h592309] |
|
| Round 7 | answer:AnswerByGoal[CreditCardNo->1234432156788765] |
| answer:AnswerByGoal[CreditCardHolder->PETER JACKSON] |
| answer:AnswerByGoal[CreditCardCVV->123] |
|
| Round 8 | validation:CreditCardValidation[Number->1234432156788765] |
| validation:CreditCardValidation[Holder->PETER JACKSON] |
| validation:CreditCardValidation[CVV->123] |
|
| Round 9 | BankYesNoAnswer(Yes) |
|
| Round 10 | reservation:Reservation[Number->11100] |
| reservation:Reservation[Flight1->F101] |
| reservation:Reservation[Flight2->F105] |
|
