Prolog-Loading-include: /var/lib/myfrdcsa/codebases/minor/free-life-planner/lib/util/shell-utils.pl Prolog-Loading-include: /var/lib/myfrdcsa/codebases/minor/free-life-planner/lib/util/regex.pl Prolog-Loading-use_module: library(julian) Prolog-Loading-ensure_loaded: args Prolog-Loading-use_module: library(julian) [domainVerbFile,'/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/templates/flp/flp.d.verb'] [domainVerbList,['(',define,'(',domain,flp,')','(',:,requirements,:,'negative-preconditions',:,'conditional-effects',:,equality,:,typing,:,fluents,:,'durative-actions',:,'derived-predicates',')','(',:,types,person,-,intelligentAgent,intelligentAgent,residence,vehicle,tool,container,-,object,vehicle,-,container,object,physicalLocation,-,thing,residence,-,physicalLocation,modeOfTransportation,-,category,')','(',:,timing,'(',units,'0000-00-00_01',:,'00',:,'00',')',')','(',:,predicates,'(',autonomous,?,a,-,intelligentAgent,')','(',location,?,o,-,object,?,l,-,physicalLocation,')','(',contains,?,c,-,container,?,o,-,object,')','(',mobile,?,ob,-,object,')','(','directly-holding',?,a,-,intelligentAgent,?,o,-,object,')','(','travel-path',?,m,-,modeOfTransportation,?,l0,?,l1,-,physicalLocation,')','(','driving-p',?,m,-,modeOfTransportation,')','(','walking-p',?,m,-,modeOfTransportation,')',')','(',:,functions,'(','travel-distance',?,m,-,modeOfTransportation,?,l0,?,l1,-,physicalLocation,')','(','travel-duration',?,m,-,modeOfTransportation,?,l0,?,l1,-,physicalLocation,')',')','(',:,'durative-action',walk,:,parameters,'(',?,a,-,intelligentAgent,?,l0,?,l1,-,physicalLocation,?,m,-,modeOfTransportation,')',:,duration,'(',=,?,duration,'(','travel-duration',?,m,?,l0,?,l1,')',')',:,condition,'(',and,'(',over,all,'(','walking-p',?,m,')',')','(',over,all,'(','travel-path',?,m,?,l0,?,l1,')',')','(',over,all,'(',autonomous,?,a,')',')','(',at,start,'(',location,?,a,?,l0,')',')',')',:,effect,'(',and,'(',at,end,'(',not,'(',location,?,a,?,l0,')',')',')','(',at,end,'(',location,?,a,?,l1,')',')',')',')','(',:,'durative-action','pick-up',:,parameters,'(',?,a,-,intelligentAgent,?,o,-,object,?,l,-,physicalLocation,')',:,duration,'(',=,?,duration,'0',')',:,condition,'(',and,'(',over,all,'(',autonomous,?,a,')',')','(',over,all,'(',mobile,?,o,')',')','(',at,start,'(',not,'(','directly-holding',?,a,?,o,')',')',')','(',at,start,'(',location,?,a,?,l,')',')','(',at,start,'(',location,?,o,?,l,')',')',')',:,effect,'(',and,'(',at,end,'(','directly-holding',?,a,?,o,')',')',')',')','(',:,'durative-action','set-down',:,parameters,'(',?,a,-,intelligentAgent,?,o,-,object,?,l,-,physicalLocation,')',:,duration,'(',=,?,duration,'0',')',:,condition,'(',and,'(',over,all,'(',autonomous,?,a,')',')','(',over,all,'(',mobile,?,o,')',')','(',at,start,'(','directly-holding',?,a,?,o,')',')','(',at,start,'(',location,?,a,?,l,')',')',')',:,effect,'(',and,'(',at,end,'(',location,?,o,?,l,')',')','(',at,end,'(',not,'(','directly-holding',?,a,?,o,')',')',')',')',')','(',:,'durative-action',carry,:,parameters,'(',?,a,-,intelligentAgent,?,o,-,object,?,l0,?,l1,-,physicalLocation,?,m,-,modeOfTransportation,')',:,duration,'(',=,?,duration,'(','travel-duration',?,m,?,l0,?,l1,')',')',:,condition,'(',and,'(',over,all,'(','walking-p',?,m,')',')','(',over,all,'(','travel-path',?,m,?,l0,?,l1,')',')','(',over,all,'(',autonomous,?,a,')',')','(',over,all,'(',mobile,?,o,')',')','(',over,all,'(','directly-holding',?,a,?,o,')',')','(',at,start,'(',location,?,a,?,l0,')',')','(',at,start,'(',location,?,o,?,l0,')',')',')',:,effect,'(',and,'(',at,end,'(',not,'(',location,?,a,?,l0,')',')',')','(',at,end,'(',not,'(',location,?,o,?,l0,')',')',')','(',at,end,'(',location,?,a,?,l1,')',')','(',at,end,'(',location,?,o,?,l1,')',')',')',')','(',:,'durative-action','place-into',:,parameters,'(',?,a,-,intelligentAgent,?,o,-,object,?,c,-,container,?,l,-,physicalLocation,')',:,duration,'(',=,?,duration,'0',')',:,condition,'(',and,'(',over,all,'(',autonomous,?,a,')',')','(',over,all,'(',mobile,?,o,')',')','(',at,start,'(','directly-holding',?,a,?,o,')',')','(',at,start,'(',location,?,a,?,l,')',')','(',at,start,'(',location,?,o,?,l,')',')','(',at,start,'(',location,?,c,?,l,')',')','(',at,start,'(',not,'(',contains,?,c,?,o,')',')',')',')',:,effect,'(',and,'(',at,end,'(',contains,?,c,?,o,')',')','(',at,end,'(',not,'(','directly-holding',?,a,?,o,')',')',')',')',')','(',:,'durative-action',drive,:,parameters,'(',?,a,-,intelligentAgent,?,v,-,vehicle,?,l0,?,l1,-,physicalLocation,?,m,-,modeOfTransportation,')',:,duration,'(',=,?,duration,'(','travel-duration',?,m,?,l0,?,l1,')',')',:,condition,'(',and,'(',over,all,'(','driving-p',?,m,')',')','(',over,all,'(','travel-path',?,m,?,l0,?,l1,')',')','(',over,all,'(',autonomous,?,a,')',')','(',over,all,'(',mobile,?,v,')',')','(',at,start,'(',location,?,a,?,l0,')',')','(',at,start,'(',location,?,v,?,l0,')',')',')',:,effect,'(',and,'(',at,end,'(',not,'(',location,?,a,?,l0,')',')',')','(',at,end,'(',not,'(',location,?,v,?,l0,')',')',')','(',at,end,'(',location,?,a,?,l1,')',')','(',at,end,'(',location,?,v,?,l1,')',')',')',')',')']] [problemFile,'/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/templates/flp/flp.p.verb'] [problemVerb,['(',define,'(',problem,flp1,')','(',:,domain,flp,')','(',:,includes,')','(',:,timing,'(','start-date','TZID=America/Chicago',:,'20170315T090000',')','(',units,'0000-00-00_01',:,'00',:,'00',')',')','(',:,objects,andrewDougherty,meredithMcGhan,-,person,townhomeOfEleanorAndAndrewAndMeredith,-,residence,andrewDoughertysHypotheticalCar,meredithMcGhansCar,-,vehicle,bluetoothKeyboard,-,tool,auroraIllinois,flintMichigan,-,physicalLocation,driving,walking,-,modeOfTransportation,')','(',:,init,'(','travel-path',driving,flintMichigan,auroraIllinois,')','(',=,'(','travel-distance',driving,flintMichigan,auroraIllinois,')','500',')','(',=,'(','travel-duration',driving,flintMichigan,auroraIllinois,')','6',')','(','travel-path',driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith,')','(',=,'(','travel-distance',driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith,')','5',')','(',=,'(','travel-duration',driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith,')','0','.','15',')','(',location,andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith,')','(',location,bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith,')','(',location,meredithMcGhan,flintMichigan,')','(',location,meredithMcGhansCar,flintMichigan,')','(',location,andrewDoughertysHypotheticalCar,auroraIllinois,')','(',autonomous,meredithMcGhan,')','(',autonomous,andrewDougherty,')','(',mobile,meredithMcGhansCar,')','(',mobile,andrewDoughertysHypotheticalCar,')','(',mobile,bluetoothKeyboard,')',')','(',:,goal,'(',and,'(','directly-holding',andrewDougherty,bluetoothKeyboard,')',')',')','(',:,metric,minimize,'(','total-time',')',')',')']] [hi] [he] [ha] [parsed1,[domainFile('/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/templates/flp/flp.d.verb'),domain(domain(flp,['negative-preconditions','conditional-effects',equality,typing,fluents,'durative-actions','derived-predicates'],[genls([person],intelligentAgent),genls([intelligentAgent,residence,vehicle,tool,container],object),genls([vehicle],container),genls([object,physicalLocation],thing),genls([residence],physicalLocation),genls([modeOfTransportation],category)],[autonomous(are(['$VAR'('A')],intelligentAgent)),location(are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)),contains(are(['$VAR'('C')],container),are(['$VAR'('O')],object)),mobile(are(['$VAR'('Ob')],object)),'directly-holding'(are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object)),'travel-path'(are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)),'driving-p'(are(['$VAR'('M')],modeOfTransportation)),'walking-p'(are(['$VAR'('M')],modeOfTransportation))],[f('travel-distance',[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)]),f('travel-duration',[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)])],[durativeAction(walk,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('walking-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'at start'(location('$VAR'('A'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1')))]),durativeAction('pick-up',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'(not('directly-holding'('$VAR'('A'),'$VAR'('O')))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L')))],['at end'('directly-holding'('$VAR'('A'),'$VAR'('O')))]),durativeAction('set-down',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L')))],['at end'(location('$VAR'('O'),'$VAR'('L'))),'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))]),durativeAction(carry,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('walking-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'over all'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L0'))),'at start'(location('$VAR'('O'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(not(location('$VAR'('O'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1'))),'at end'(location('$VAR'('O'),'$VAR'('L1')))]),durativeAction('place-into',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('C')],container),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L'))),'at start'(location('$VAR'('C'),'$VAR'('L'))),'at start'(not(contains('$VAR'('C'),'$VAR'('O'))))],['at end'(contains('$VAR'('C'),'$VAR'('O'))),'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))]),durativeAction(drive,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('V')],vehicle),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('driving-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('V'))),'at start'(location('$VAR'('A'),'$VAR'('L0'))),'at start'(location('$VAR'('V'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(not(location('$VAR'('V'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1'))),'at end'(location('$VAR'('V'),'$VAR'('L1')))])])),problemFile(_56202),problem(_56212),solutionFile('/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/flp/flp.p.verb.LPG.sol'),solution(_53124),verbFile('/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/templates/flp/flp.metadata.pl'),verb([verber(domain(flp),problem(flp1),includes([]),startDate([2017-4-14,9:0:0]),units([0-0-0,1:0:0]))])]] [1] [verb,[verber(domain(flp),problem(flp1),includes([]),startDate([2017-4-14,9:0:0]),units([0-0-0,1:0:0]))]] 2 3 4 5 [types,[category,container,intelligentAgent,modeOfTransportation,object,person,physicalLocation,residence,thing,tool,vehicle]] [tryingType,category] [dateTime,[2018-7-23,18:5:46.619237632]] [query,isa(_7886,category)] [findall(atTime(_63568,_63570),(atTime(_63568,_63570),isa(_7886,category)=_63570,view([query,isa(_7886,category),query2,_63570,dateTime,[2018-7-23,18:5:46.619237632],dateTime2,_63568]),compareTime(>,[2018-7-23,18:5:46.619237632],_63568)),_63564)] [results,[]] [tmpDistinctQueries,[]] [tryingType,container] [dateTime,[2018-7-23,18:5:46.629664768]] [query,isa(_7886,container)] [findall(atTime(_60058,_60060),(atTime(_60058,_60060),isa(_7886,container)=_60060,view([query,isa(_7886,container),query2,_60060,dateTime,[2018-7-23,18:5:46.629664768],dateTime2,_60058]),compareTime(>,[2018-7-23,18:5:46.629664768],_60058)),_60054)] [results,[]] [tmpDistinctQueries,[]] [tryingType,intelligentAgent] [dateTime,[2018-7-23,18:5:46.636159232]] [query,isa(_7886,intelligentAgent)] [findall(atTime(_60058,_60060),(atTime(_60058,_60060),isa(_7886,intelligentAgent)=_60060,view([query,isa(_7886,intelligentAgent),query2,_60060,dateTime,[2018-7-23,18:5:46.636159232],dateTime2,_60058]),compareTime(>,[2018-7-23,18:5:46.636159232],_60058)),_60054)] [results,[]] [tmpDistinctQueries,[]] [tryingType,modeOfTransportation] [dateTime,[2018-7-23,18:5:46.64256256]] [query,isa(_7886,modeOfTransportation)] [findall(atTime(_60058,_60060),(atTime(_60058,_60060),isa(_7886,modeOfTransportation)=_60060,view([query,isa(_7886,modeOfTransportation),query2,_60060,dateTime,[2018-7-23,18:5:46.64256256],dateTime2,_60058]),compareTime(>,[2018-7-23,18:5:46.64256256],_60058)),_60054)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(driving,modeOfTransportation)),atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(walking,modeOfTransportation))]] [tmpDistinctQueries,[isa(driving,modeOfTransportation),isa(walking,modeOfTransportation)]] [distinctQueries,[isa(driving,modeOfTransportation),isa(walking,modeOfTransportation)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(driving,modeOfTransportation))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(driving,modeOfTransportation))] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(walking,modeOfTransportation))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(walking,modeOfTransportation))] [tryingType,object] [dateTime,[2018-7-23,18:5:46.659931136]] [query,isa(_7886,object)] [findall(atTime(_60058,_60060),(atTime(_60058,_60060),isa(_7886,object)=_60060,view([query,isa(_7886,object),query2,_60060,dateTime,[2018-7-23,18:5:46.659931136],dateTime2,_60058]),compareTime(>,[2018-7-23,18:5:46.659931136],_60058)),_60054)] [results,[]] [tmpDistinctQueries,[]] [tryingType,person] [dateTime,[2018-7-23,18:5:46.666339072]] [query,isa(_7886,person)] [findall(atTime(_60058,_60060),(atTime(_60058,_60060),isa(_7886,person)=_60060,view([query,isa(_7886,person),query2,_60060,dateTime,[2018-7-23,18:5:46.666339072],dateTime2,_60058]),compareTime(>,[2018-7-23,18:5:46.666339072],_60058)),_60054)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDougherty,person)),atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhan,person))]] [tmpDistinctQueries,[isa(andrewDougherty,person),isa(meredithMcGhan,person)]] [distinctQueries,[isa(andrewDougherty,person),isa(meredithMcGhan,person)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDougherty,person))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDougherty,person))] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhan,person))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhan,person))] [tryingType,physicalLocation] [dateTime,[2018-7-23,18:5:46.684418816]] [query,isa(_7886,physicalLocation)] [findall(atTime(_60058,_60060),(atTime(_60058,_60060),isa(_7886,physicalLocation)=_60060,view([query,isa(_7886,physicalLocation),query2,_60060,dateTime,[2018-7-23,18:5:46.684418816],dateTime2,_60058]),compareTime(>,[2018-7-23,18:5:46.684418816],_60058)),_60054)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(auroraIllinois,physicalLocation)),atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(flintMichigan,physicalLocation))]] [tmpDistinctQueries,[isa(auroraIllinois,physicalLocation),isa(flintMichigan,physicalLocation)]] [distinctQueries,[isa(auroraIllinois,physicalLocation),isa(flintMichigan,physicalLocation)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(auroraIllinois,physicalLocation))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(auroraIllinois,physicalLocation))] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(flintMichigan,physicalLocation))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(flintMichigan,physicalLocation))] [tryingType,residence] [dateTime,[2018-7-23,18:5:46.701744896]] [query,isa(_7886,residence)] [findall(atTime(_60058,_60060),(atTime(_60058,_60060),isa(_7886,residence)=_60060,view([query,isa(_7886,residence),query2,_60060,dateTime,[2018-7-23,18:5:46.701744896],dateTime2,_60058]),compareTime(>,[2018-7-23,18:5:46.701744896],_60058)),_60054)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(townhomeOfEleanorAndAndrewAndMeredith,residence))]] [tmpDistinctQueries,[isa(townhomeOfEleanorAndAndrewAndMeredith,residence)]] [distinctQueries,[isa(townhomeOfEleanorAndAndrewAndMeredith,residence)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(townhomeOfEleanorAndAndrewAndMeredith,residence))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(townhomeOfEleanorAndAndrewAndMeredith,residence))] [tryingType,thing] [dateTime,[2018-7-23,18:5:46.712992768]] [query,isa(_7886,thing)] [findall(atTime(_60058,_60060),(atTime(_60058,_60060),isa(_7886,thing)=_60060,view([query,isa(_7886,thing),query2,_60060,dateTime,[2018-7-23,18:5:46.712992768],dateTime2,_60058]),compareTime(>,[2018-7-23,18:5:46.712992768],_60058)),_60054)] [results,[]] [tmpDistinctQueries,[]] [tryingType,tool] [dateTime,[2018-7-23,18:5:46.71971328]] [query,isa(_7886,tool)] [findall(atTime(_60058,_60060),(atTime(_60058,_60060),isa(_7886,tool)=_60060,view([query,isa(_7886,tool),query2,_60060,dateTime,[2018-7-23,18:5:46.71971328],dateTime2,_60058]),compareTime(>,[2018-7-23,18:5:46.71971328],_60058)),_60054)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(bluetoothKeyboard,tool))]] [tmpDistinctQueries,[isa(bluetoothKeyboard,tool)]] [distinctQueries,[isa(bluetoothKeyboard,tool)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(bluetoothKeyboard,tool))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(bluetoothKeyboard,tool))] [tryingType,vehicle] [dateTime,[2018-7-23,18:5:46.730926592]] [query,isa(_7886,vehicle)] [findall(atTime(_60058,_60060),(atTime(_60058,_60060),isa(_7886,vehicle)=_60060,view([query,isa(_7886,vehicle),query2,_60060,dateTime,[2018-7-23,18:5:46.730926592],dateTime2,_60058]),compareTime(>,[2018-7-23,18:5:46.730926592],_60058)),_60054)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDoughertysHypotheticalCar,vehicle)),atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhansCar,vehicle))]] [tmpDistinctQueries,[isa(andrewDoughertysHypotheticalCar,vehicle),isa(meredithMcGhansCar,vehicle)]] [distinctQueries,[isa(andrewDoughertysHypotheticalCar,vehicle),isa(meredithMcGhansCar,vehicle)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDoughertysHypotheticalCar,vehicle))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDoughertysHypotheticalCar,vehicle))] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhansCar,vehicle))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhansCar,vehicle))] [tryingType,category] [dateTime,[2018-7-23,18:5:46.746598656]] [query,isa(_7844,category)] [findall(atTime(_60548,_60550),(atTime(_60548,_60550),isa(_7844,category)=_60550,view([query,isa(_7844,category),query2,_60550,dateTime,[2018-7-23,18:5:46.746598656],dateTime2,_60548]),compareTime(>,[2018-7-23,18:5:46.746598656],_60548)),_60544)] [results,[]] [tmpDistinctQueries,[]] [tryingType,container] [dateTime,[2018-7-23,18:5:46.752939008]] [query,isa(_7844,container)] [findall(atTime(_60246,_60248),(atTime(_60246,_60248),isa(_7844,container)=_60248,view([query,isa(_7844,container),query2,_60248,dateTime,[2018-7-23,18:5:46.752939008],dateTime2,_60246]),compareTime(>,[2018-7-23,18:5:46.752939008],_60246)),_60242)] [results,[]] [tmpDistinctQueries,[]] [tryingType,intelligentAgent] [dateTime,[2018-7-23,18:5:46.759286528]] [query,isa(_7844,intelligentAgent)] [findall(atTime(_60246,_60248),(atTime(_60246,_60248),isa(_7844,intelligentAgent)=_60248,view([query,isa(_7844,intelligentAgent),query2,_60248,dateTime,[2018-7-23,18:5:46.759286528],dateTime2,_60246]),compareTime(>,[2018-7-23,18:5:46.759286528],_60246)),_60242)] [results,[]] [tmpDistinctQueries,[]] [tryingType,modeOfTransportation] [dateTime,[2018-7-23,18:5:46.76564608]] [query,isa(_7844,modeOfTransportation)] [findall(atTime(_60246,_60248),(atTime(_60246,_60248),isa(_7844,modeOfTransportation)=_60248,view([query,isa(_7844,modeOfTransportation),query2,_60248,dateTime,[2018-7-23,18:5:46.76564608],dateTime2,_60246]),compareTime(>,[2018-7-23,18:5:46.76564608],_60246)),_60242)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(driving,modeOfTransportation)),atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(walking,modeOfTransportation))]] [tmpDistinctQueries,[isa(driving,modeOfTransportation),isa(walking,modeOfTransportation)]] [distinctQueries,[isa(driving,modeOfTransportation),isa(walking,modeOfTransportation)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(driving,modeOfTransportation))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(driving,modeOfTransportation))] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(walking,modeOfTransportation))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(walking,modeOfTransportation))] [tryingType,object] [dateTime,[2018-7-23,18:5:46.781448704]] [query,isa(_7844,object)] [findall(atTime(_60246,_60248),(atTime(_60246,_60248),isa(_7844,object)=_60248,view([query,isa(_7844,object),query2,_60248,dateTime,[2018-7-23,18:5:46.781448704],dateTime2,_60246]),compareTime(>,[2018-7-23,18:5:46.781448704],_60246)),_60242)] [results,[]] [tmpDistinctQueries,[]] [tryingType,person] [dateTime,[2018-7-23,18:5:46.787812352]] [query,isa(_7844,person)] [findall(atTime(_60246,_60248),(atTime(_60246,_60248),isa(_7844,person)=_60248,view([query,isa(_7844,person),query2,_60248,dateTime,[2018-7-23,18:5:46.787812352],dateTime2,_60246]),compareTime(>,[2018-7-23,18:5:46.787812352],_60246)),_60242)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDougherty,person)),atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhan,person))]] [tmpDistinctQueries,[isa(andrewDougherty,person),isa(meredithMcGhan,person)]] [distinctQueries,[isa(andrewDougherty,person),isa(meredithMcGhan,person)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDougherty,person))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDougherty,person))] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhan,person))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhan,person))] [tryingType,physicalLocation] [dateTime,[2018-7-23,18:5:46.803558912]] [query,isa(_7844,physicalLocation)] [findall(atTime(_60246,_60248),(atTime(_60246,_60248),isa(_7844,physicalLocation)=_60248,view([query,isa(_7844,physicalLocation),query2,_60248,dateTime,[2018-7-23,18:5:46.803558912],dateTime2,_60246]),compareTime(>,[2018-7-23,18:5:46.803558912],_60246)),_60242)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(auroraIllinois,physicalLocation)),atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(flintMichigan,physicalLocation))]] [tmpDistinctQueries,[isa(auroraIllinois,physicalLocation),isa(flintMichigan,physicalLocation)]] [distinctQueries,[isa(auroraIllinois,physicalLocation),isa(flintMichigan,physicalLocation)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(auroraIllinois,physicalLocation))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(auroraIllinois,physicalLocation))] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(flintMichigan,physicalLocation))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(flintMichigan,physicalLocation))] [tryingType,residence] [dateTime,[2018-7-23,18:5:46.819346176]] [query,isa(_7844,residence)] [findall(atTime(_60246,_60248),(atTime(_60246,_60248),isa(_7844,residence)=_60248,view([query,isa(_7844,residence),query2,_60248,dateTime,[2018-7-23,18:5:46.819346176],dateTime2,_60246]),compareTime(>,[2018-7-23,18:5:46.819346176],_60246)),_60242)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(townhomeOfEleanorAndAndrewAndMeredith,residence))]] [tmpDistinctQueries,[isa(townhomeOfEleanorAndAndrewAndMeredith,residence)]] [distinctQueries,[isa(townhomeOfEleanorAndAndrewAndMeredith,residence)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(townhomeOfEleanorAndAndrewAndMeredith,residence))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(townhomeOfEleanorAndAndrewAndMeredith,residence))] [tryingType,thing] [dateTime,[2018-7-23,18:5:46.830616832]] [query,isa(_7844,thing)] [findall(atTime(_60246,_60248),(atTime(_60246,_60248),isa(_7844,thing)=_60248,view([query,isa(_7844,thing),query2,_60248,dateTime,[2018-7-23,18:5:46.830616832],dateTime2,_60246]),compareTime(>,[2018-7-23,18:5:46.830616832],_60246)),_60242)] [results,[]] [tmpDistinctQueries,[]] [tryingType,tool] [dateTime,[2018-7-23,18:5:46.836944128]] [query,isa(_7844,tool)] [findall(atTime(_60246,_60248),(atTime(_60246,_60248),isa(_7844,tool)=_60248,view([query,isa(_7844,tool),query2,_60248,dateTime,[2018-7-23,18:5:46.836944128],dateTime2,_60246]),compareTime(>,[2018-7-23,18:5:46.836944128],_60246)),_60242)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(bluetoothKeyboard,tool))]] [tmpDistinctQueries,[isa(bluetoothKeyboard,tool)]] [distinctQueries,[isa(bluetoothKeyboard,tool)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(bluetoothKeyboard,tool))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(bluetoothKeyboard,tool))] [tryingType,vehicle] [dateTime,[2018-7-23,18:5:46.84824192]] [query,isa(_7844,vehicle)] [findall(atTime(_60246,_60248),(atTime(_60246,_60248),isa(_7844,vehicle)=_60248,view([query,isa(_7844,vehicle),query2,_60248,dateTime,[2018-7-23,18:5:46.84824192],dateTime2,_60246]),compareTime(>,[2018-7-23,18:5:46.84824192],_60246)),_60242)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDoughertysHypotheticalCar,vehicle)),atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhansCar,vehicle))]] [tmpDistinctQueries,[isa(andrewDoughertysHypotheticalCar,vehicle),isa(meredithMcGhansCar,vehicle)]] [distinctQueries,[isa(andrewDoughertysHypotheticalCar,vehicle),isa(meredithMcGhansCar,vehicle)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDoughertysHypotheticalCar,vehicle))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDoughertysHypotheticalCar,vehicle))] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhansCar,vehicle))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhansCar,vehicle))] [tmpObjectLists,[[driving,walking],[bluetoothKeyboard,tissues],[andrewDougherty,meredithMcGhan],[auroraIllinois,flintMichigan],[townhomeOfEleanorAndAndrewAndMeredith],[bluetoothKeyboard],[andrewDoughertysHypotheticalCar,meredithMcGhansCar]]] [types,[category,container,intelligentAgent,modeOfTransportation,object,person,physicalLocation,residence,thing,tool,vehicle]] [tryingType,category] [dateTime,[2018-7-23,18:5:46.86425344]] [query,isa(_8408,category)] [findall(atTime(_18228,_18230),(atTime(_18228,_18230),isa(_8408,category)=_18230,view([query,isa(_8408,category),query2,_18230,dateTime,[2018-7-23,18:5:46.86425344],dateTime2,_18228]),compareTime(>,[2018-7-23,18:5:46.86425344],_18228)),_18224)] [results,[]] [tmpDistinctQueries,[]] [tryingType,container] [dateTime,[2018-7-23,18:5:46.870991872]] [query,isa(_8408,container)] [findall(atTime(_61052,_61054),(atTime(_61052,_61054),isa(_8408,container)=_61054,view([query,isa(_8408,container),query2,_61054,dateTime,[2018-7-23,18:5:46.870991872],dateTime2,_61052]),compareTime(>,[2018-7-23,18:5:46.870991872],_61052)),_61048)] [results,[]] [tmpDistinctQueries,[]] [tryingType,intelligentAgent] [dateTime,[2018-7-23,18:5:46.8773504]] [query,isa(_8408,intelligentAgent)] [findall(atTime(_61052,_61054),(atTime(_61052,_61054),isa(_8408,intelligentAgent)=_61054,view([query,isa(_8408,intelligentAgent),query2,_61054,dateTime,[2018-7-23,18:5:46.8773504],dateTime2,_61052]),compareTime(>,[2018-7-23,18:5:46.8773504],_61052)),_61048)] [results,[]] [tmpDistinctQueries,[]] [tryingType,modeOfTransportation] [dateTime,[2018-7-23,18:5:46.883702528]] [query,isa(_8408,modeOfTransportation)] [findall(atTime(_61052,_61054),(atTime(_61052,_61054),isa(_8408,modeOfTransportation)=_61054,view([query,isa(_8408,modeOfTransportation),query2,_61054,dateTime,[2018-7-23,18:5:46.883702528],dateTime2,_61052]),compareTime(>,[2018-7-23,18:5:46.883702528],_61052)),_61048)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(driving,modeOfTransportation)),atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(walking,modeOfTransportation))]] [tmpDistinctQueries,[isa(driving,modeOfTransportation),isa(walking,modeOfTransportation)]] [distinctQueries,[isa(driving,modeOfTransportation),isa(walking,modeOfTransportation)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(driving,modeOfTransportation))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(driving,modeOfTransportation))] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(walking,modeOfTransportation))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(walking,modeOfTransportation))] [tryingType,object] [dateTime,[2018-7-23,18:5:46.899561984]] [query,isa(_8408,object)] [findall(atTime(_61052,_61054),(atTime(_61052,_61054),isa(_8408,object)=_61054,view([query,isa(_8408,object),query2,_61054,dateTime,[2018-7-23,18:5:46.899561984],dateTime2,_61052]),compareTime(>,[2018-7-23,18:5:46.899561984],_61052)),_61048)] [results,[]] [tmpDistinctQueries,[]] [tryingType,person] [dateTime,[2018-7-23,18:5:46.905957888]] [query,isa(_8408,person)] [findall(atTime(_61052,_61054),(atTime(_61052,_61054),isa(_8408,person)=_61054,view([query,isa(_8408,person),query2,_61054,dateTime,[2018-7-23,18:5:46.905957888],dateTime2,_61052]),compareTime(>,[2018-7-23,18:5:46.905957888],_61052)),_61048)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDougherty,person)),atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhan,person))]] [tmpDistinctQueries,[isa(andrewDougherty,person),isa(meredithMcGhan,person)]] [distinctQueries,[isa(andrewDougherty,person),isa(meredithMcGhan,person)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDougherty,person))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDougherty,person))] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhan,person))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhan,person))] [tryingType,physicalLocation] [dateTime,[2018-7-23,18:5:46.921685504]] [query,isa(_8408,physicalLocation)] [findall(atTime(_61052,_61054),(atTime(_61052,_61054),isa(_8408,physicalLocation)=_61054,view([query,isa(_8408,physicalLocation),query2,_61054,dateTime,[2018-7-23,18:5:46.921685504],dateTime2,_61052]),compareTime(>,[2018-7-23,18:5:46.921685504],_61052)),_61048)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(auroraIllinois,physicalLocation)),atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(flintMichigan,physicalLocation))]] [tmpDistinctQueries,[isa(auroraIllinois,physicalLocation),isa(flintMichigan,physicalLocation)]] [distinctQueries,[isa(auroraIllinois,physicalLocation),isa(flintMichigan,physicalLocation)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(auroraIllinois,physicalLocation))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(auroraIllinois,physicalLocation))] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(flintMichigan,physicalLocation))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(flintMichigan,physicalLocation))] [tryingType,residence] [dateTime,[2018-7-23,18:5:46.93739264]] [query,isa(_8408,residence)] [findall(atTime(_61052,_61054),(atTime(_61052,_61054),isa(_8408,residence)=_61054,view([query,isa(_8408,residence),query2,_61054,dateTime,[2018-7-23,18:5:46.93739264],dateTime2,_61052]),compareTime(>,[2018-7-23,18:5:46.93739264],_61052)),_61048)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(townhomeOfEleanorAndAndrewAndMeredith,residence))]] [tmpDistinctQueries,[isa(townhomeOfEleanorAndAndrewAndMeredith,residence)]] [distinctQueries,[isa(townhomeOfEleanorAndAndrewAndMeredith,residence)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(townhomeOfEleanorAndAndrewAndMeredith,residence))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(townhomeOfEleanorAndAndrewAndMeredith,residence))] [tryingType,thing] [dateTime,[2018-7-23,18:5:46.948728576]] [query,isa(_8408,thing)] [findall(atTime(_61052,_61054),(atTime(_61052,_61054),isa(_8408,thing)=_61054,view([query,isa(_8408,thing),query2,_61054,dateTime,[2018-7-23,18:5:46.948728576],dateTime2,_61052]),compareTime(>,[2018-7-23,18:5:46.948728576],_61052)),_61048)] [results,[]] [tmpDistinctQueries,[]] [tryingType,tool] [dateTime,[2018-7-23,18:5:46.955040512]] [query,isa(_8408,tool)] [findall(atTime(_61052,_61054),(atTime(_61052,_61054),isa(_8408,tool)=_61054,view([query,isa(_8408,tool),query2,_61054,dateTime,[2018-7-23,18:5:46.955040512],dateTime2,_61052]),compareTime(>,[2018-7-23,18:5:46.955040512],_61052)),_61048)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(bluetoothKeyboard,tool))]] [tmpDistinctQueries,[isa(bluetoothKeyboard,tool)]] [distinctQueries,[isa(bluetoothKeyboard,tool)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(bluetoothKeyboard,tool))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(bluetoothKeyboard,tool))] [tryingType,vehicle] [dateTime,[2018-7-23,18:5:46.966261248]] [query,isa(_8408,vehicle)] [findall(atTime(_61052,_61054),(atTime(_61052,_61054),isa(_8408,vehicle)=_61054,view([query,isa(_8408,vehicle),query2,_61054,dateTime,[2018-7-23,18:5:46.966261248],dateTime2,_61052]),compareTime(>,[2018-7-23,18:5:46.966261248],_61052)),_61048)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDoughertysHypotheticalCar,vehicle)),atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhansCar,vehicle))]] [tmpDistinctQueries,[isa(andrewDoughertysHypotheticalCar,vehicle),isa(meredithMcGhansCar,vehicle)]] [distinctQueries,[isa(andrewDoughertysHypotheticalCar,vehicle),isa(meredithMcGhansCar,vehicle)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDoughertysHypotheticalCar,vehicle))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDoughertysHypotheticalCar,vehicle))] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhansCar,vehicle))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhansCar,vehicle))] [tryingType,category] [dateTime,[2018-7-23,18:5:46.982096128]] [query,isa(_8366,category)] [findall(atTime(_61234,_61236),(atTime(_61234,_61236),isa(_8366,category)=_61236,view([query,isa(_8366,category),query2,_61236,dateTime,[2018-7-23,18:5:46.982096128],dateTime2,_61234]),compareTime(>,[2018-7-23,18:5:46.982096128],_61234)),_61230)] [results,[]] [tmpDistinctQueries,[]] [tryingType,container] [dateTime,[2018-7-23,18:5:46.988582912]] [query,isa(_8366,container)] [findall(atTime(_60914,_60916),(atTime(_60914,_60916),isa(_8366,container)=_60916,view([query,isa(_8366,container),query2,_60916,dateTime,[2018-7-23,18:5:46.988582912],dateTime2,_60914]),compareTime(>,[2018-7-23,18:5:46.988582912],_60914)),_60910)] [results,[]] [tmpDistinctQueries,[]] [tryingType,intelligentAgent] [dateTime,[2018-7-23,18:5:46.994964992]] [query,isa(_8366,intelligentAgent)] [findall(atTime(_60914,_60916),(atTime(_60914,_60916),isa(_8366,intelligentAgent)=_60916,view([query,isa(_8366,intelligentAgent),query2,_60916,dateTime,[2018-7-23,18:5:46.994964992],dateTime2,_60914]),compareTime(>,[2018-7-23,18:5:46.994964992],_60914)),_60910)] [results,[]] [tmpDistinctQueries,[]] [tryingType,modeOfTransportation] [dateTime,[2018-7-23,18:5:47.001310464]] [query,isa(_8366,modeOfTransportation)] [findall(atTime(_60914,_60916),(atTime(_60914,_60916),isa(_8366,modeOfTransportation)=_60916,view([query,isa(_8366,modeOfTransportation),query2,_60916,dateTime,[2018-7-23,18:5:47.001310464],dateTime2,_60914]),compareTime(>,[2018-7-23,18:5:47.001310464],_60914)),_60910)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(driving,modeOfTransportation)),atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(walking,modeOfTransportation))]] [tmpDistinctQueries,[isa(driving,modeOfTransportation),isa(walking,modeOfTransportation)]] [distinctQueries,[isa(driving,modeOfTransportation),isa(walking,modeOfTransportation)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(driving,modeOfTransportation))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(driving,modeOfTransportation))] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(walking,modeOfTransportation))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(walking,modeOfTransportation))] [tryingType,object] [dateTime,[2018-7-23,18:5:47.01714816]] [query,isa(_8366,object)] [findall(atTime(_60914,_60916),(atTime(_60914,_60916),isa(_8366,object)=_60916,view([query,isa(_8366,object),query2,_60916,dateTime,[2018-7-23,18:5:47.01714816],dateTime2,_60914]),compareTime(>,[2018-7-23,18:5:47.01714816],_60914)),_60910)] [results,[]] [tmpDistinctQueries,[]] [tryingType,person] [dateTime,[2018-7-23,18:5:47.023524352]] [query,isa(_8366,person)] [findall(atTime(_60914,_60916),(atTime(_60914,_60916),isa(_8366,person)=_60916,view([query,isa(_8366,person),query2,_60916,dateTime,[2018-7-23,18:5:47.023524352],dateTime2,_60914]),compareTime(>,[2018-7-23,18:5:47.023524352],_60914)),_60910)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDougherty,person)),atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhan,person))]] [tmpDistinctQueries,[isa(andrewDougherty,person),isa(meredithMcGhan,person)]] [distinctQueries,[isa(andrewDougherty,person),isa(meredithMcGhan,person)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDougherty,person))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDougherty,person))] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhan,person))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhan,person))] [tryingType,physicalLocation] [dateTime,[2018-7-23,18:5:47.039254016]] [query,isa(_8366,physicalLocation)] [findall(atTime(_60914,_60916),(atTime(_60914,_60916),isa(_8366,physicalLocation)=_60916,view([query,isa(_8366,physicalLocation),query2,_60916,dateTime,[2018-7-23,18:5:47.039254016],dateTime2,_60914]),compareTime(>,[2018-7-23,18:5:47.039254016],_60914)),_60910)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(auroraIllinois,physicalLocation)),atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(flintMichigan,physicalLocation))]] [tmpDistinctQueries,[isa(auroraIllinois,physicalLocation),isa(flintMichigan,physicalLocation)]] [distinctQueries,[isa(auroraIllinois,physicalLocation),isa(flintMichigan,physicalLocation)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(auroraIllinois,physicalLocation))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(auroraIllinois,physicalLocation))] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(flintMichigan,physicalLocation))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(flintMichigan,physicalLocation))] [tryingType,residence] [dateTime,[2018-7-23,18:5:47.055154944]] [query,isa(_8366,residence)] [findall(atTime(_60914,_60916),(atTime(_60914,_60916),isa(_8366,residence)=_60916,view([query,isa(_8366,residence),query2,_60916,dateTime,[2018-7-23,18:5:47.055154944],dateTime2,_60914]),compareTime(>,[2018-7-23,18:5:47.055154944],_60914)),_60910)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(townhomeOfEleanorAndAndrewAndMeredith,residence))]] [tmpDistinctQueries,[isa(townhomeOfEleanorAndAndrewAndMeredith,residence)]] [distinctQueries,[isa(townhomeOfEleanorAndAndrewAndMeredith,residence)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(townhomeOfEleanorAndAndrewAndMeredith,residence))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(townhomeOfEleanorAndAndrewAndMeredith,residence))] [tryingType,thing] [dateTime,[2018-7-23,18:5:47.066400512]] [query,isa(_8366,thing)] [findall(atTime(_60914,_60916),(atTime(_60914,_60916),isa(_8366,thing)=_60916,view([query,isa(_8366,thing),query2,_60916,dateTime,[2018-7-23,18:5:47.066400512],dateTime2,_60914]),compareTime(>,[2018-7-23,18:5:47.066400512],_60914)),_60910)] [results,[]] [tmpDistinctQueries,[]] [tryingType,tool] [dateTime,[2018-7-23,18:5:47.072760576]] [query,isa(_8366,tool)] [findall(atTime(_60914,_60916),(atTime(_60914,_60916),isa(_8366,tool)=_60916,view([query,isa(_8366,tool),query2,_60916,dateTime,[2018-7-23,18:5:47.072760576],dateTime2,_60914]),compareTime(>,[2018-7-23,18:5:47.072760576],_60914)),_60910)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(bluetoothKeyboard,tool))]] [tmpDistinctQueries,[isa(bluetoothKeyboard,tool)]] [distinctQueries,[isa(bluetoothKeyboard,tool)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(bluetoothKeyboard,tool))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(bluetoothKeyboard,tool))] [tryingType,vehicle] [dateTime,[2018-7-23,18:5:47.083983104]] [query,isa(_8366,vehicle)] [findall(atTime(_60914,_60916),(atTime(_60914,_60916),isa(_8366,vehicle)=_60916,view([query,isa(_8366,vehicle),query2,_60916,dateTime,[2018-7-23,18:5:47.083983104],dateTime2,_60914]),compareTime(>,[2018-7-23,18:5:47.083983104],_60914)),_60910)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDoughertysHypotheticalCar,vehicle)),atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhansCar,vehicle))]] [tmpDistinctQueries,[isa(andrewDoughertysHypotheticalCar,vehicle),isa(meredithMcGhansCar,vehicle)]] [distinctQueries,[isa(andrewDoughertysHypotheticalCar,vehicle),isa(meredithMcGhansCar,vehicle)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDoughertysHypotheticalCar,vehicle))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(andrewDoughertysHypotheticalCar,vehicle))] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhansCar,vehicle))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],isa(meredithMcGhansCar,vehicle))] [tmpObjectLists,[[driving,walking],[bluetoothKeyboard,tissues],[andrewDougherty,meredithMcGhan],[auroraIllinois,flintMichigan],[townhomeOfEleanorAndAndrewAndMeredith],[bluetoothKeyboard],[andrewDoughertysHypotheticalCar,meredithMcGhansCar]]] [dateTime,[2018-7-23,18:5:46.611291136]] [query,autonomous(_9222)] [findall(atTime(_9290,_9292),(atTime(_9290,_9292),autonomous(_9222)=_9292,view([query,autonomous(_9222),query2,_9292,dateTime,[2018-7-23,18:5:46.611291136],dateTime2,_9290]),compareTime(>,[2018-7-23,18:5:46.611291136],_9290)),_9286)] [results,[atTime(['2017'-'3'-'26','8':'0':'0'],autonomous(andy)),atTime(['2017'-'3'-'26','8':'0':'0'],autonomous(andy)),atTime(['2017'-'3'-'26','8':'0':'0'],autonomous(justin)),atTime(['2017'-'3'-'26','8':'0':'0'],autonomous(justin)),atTime(['2017'-'4'-'15','20':'0':'0.0'],autonomous(andrewDougherty)),atTime(['2017'-'4'-'15','20':'0':'0.0'],autonomous(meredithMcGhan))]] [tmpDistinctQueries,[autonomous(andy),autonomous(andy),autonomous(justin),autonomous(justin),autonomous(andrewDougherty),autonomous(meredithMcGhan)]] [distinctQueries,[autonomous(andrewDougherty),autonomous(andy),autonomous(justin),autonomous(meredithMcGhan)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],autonomous(andrewDougherty))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],autonomous(andrewDougherty))] [true] [sortedResults,[atTime(['2017'-'3'-'26','8':'0':'0'],autonomous(andy))]] [result1,atTime(['2017'-'3'-'26','8':'0':'0'],autonomous(andy))] [false] [sortedResults,[atTime(['2017'-'3'-'26','8':'0':'0'],autonomous(justin))]] [result1,atTime(['2017'-'3'-'26','8':'0':'0'],autonomous(justin))] [false] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],autonomous(meredithMcGhan))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],autonomous(meredithMcGhan))] [true] [dateTime,[2018-7-23,18:5:46.611291136]] [query,location(_8982,_8988)] [findall(atTime(_9058,_9060),(atTime(_9058,_9060),location(_8982,_8988)=_9060,view([query,location(_8982,_8988),query2,_9060,dateTime,[2018-7-23,18:5:46.611291136],dateTime2,_9058]),compareTime(>,[2018-7-23,18:5:46.611291136],_9058)),_9054)] [results,[atTime(['2017'-'3'-'17','20':'6':'7.04312064'],location(bluetoothKeyboard,kitchen)),atTime(['2017'-'3'-'17','20':'7':'42.038015232'],location(bluetoothKeyboard,livingRoom)),atTime(['2017'-'3'-'17','20':'8':'30.030938624'],location(bluetoothKeyboard,livingRoom)),atTime(['2017'-'3'-'17','20':'8':'44.03217024'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','22':'44':'47.03720576'],location(bluetoothKeyboard,kitchen)),atTime(['2017'-'3'-'17','22':'46':'14.043674112'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','22':'54':'57.001601536'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','22':'55':'27.00185728'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','22':'56':'21.001279744'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','22':'58':'5.002460928'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','22':'59':'3.001662208'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','22':'59':'37.0020416'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','23':'0':'30.001350656'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','23':'1':'21.002721792'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','23':'2':'13.002802432'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','23':'24':'50.03871488'],location(bluetoothKeyboard,kitchen)),atTime(['2017'-'3'-'17','23':'4':'9.001771776'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','23':'5':'46.001574912'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'18','16':'38':'36.043859968'],location(bluetoothKeyboard,kitchen)),atTime(['2017'-'3'-'18','16':'38':'59.044870144'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'18','8':'57':'11.00189312'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'18','9':'3':'5.041294848'],location(bluetoothKeyboard,kitchen)),atTime(['2017'-'3'-'20','16':'38':'33.053046528'],location(bluetoothKeyboard,kitchen)),atTime(['2017'-'3'-'21','12':'2':'39.054610688'],location(bluetoothKeyboard,kitchen)),atTime(['2017'-'3'-'23','13':'11':'46.043732992'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'24','17':'0':'45.062792704'],location(bluetoothKeyboard,kitchen)),atTime(['2017'-'3'-'24','17':'1':'6.043129856'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'26','13':'24':'44.045858048'],location(bluetoothKeyboard,kitchen)),atTime(['2017'-'4'-'15','20':'0':'0.0'],location(andrewDoughertysHypotheticalCar,auroraIllinois)),atTime(['2017'-'4'-'15','20':'0':'0.0'],location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith)),atTime(['2017'-'4'-'15','20':'0':'0.0'],location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith)),atTime(['2017'-'4'-'15','20':'0':'0.0'],location(meredithMcGhan,flintMichigan)),atTime(['2017'-'4'-'15','20':'0':'0.0'],location(meredithMcGhansCar,flintMichigan))]] [tmpDistinctQueries,[location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(bluetoothKeyboard,blank),location(andrewDoughertysHypotheticalCar,blank),location(andrewDougherty,blank),location(bluetoothKeyboard,blank),location(meredithMcGhan,blank),location(meredithMcGhansCar,blank)]] [distinctQueries,[location(andrewDougherty,blank),location(andrewDoughertysHypotheticalCar,blank),location(bluetoothKeyboard,blank),location(meredithMcGhan,blank),location(meredithMcGhansCar,blank)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith))] [true] [true] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],location(andrewDoughertysHypotheticalCar,auroraIllinois))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],location(andrewDoughertysHypotheticalCar,auroraIllinois))] [true] [true] [sortedResults,[atTime(['2017'-'3'-'17','20':'6':'7.04312064'],location(bluetoothKeyboard,kitchen)),atTime(['2017'-'3'-'17','20':'7':'42.038015232'],location(bluetoothKeyboard,livingRoom)),atTime(['2017'-'3'-'17','20':'8':'30.030938624'],location(bluetoothKeyboard,livingRoom)),atTime(['2017'-'3'-'17','20':'8':'44.03217024'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','22':'44':'47.03720576'],location(bluetoothKeyboard,kitchen)),atTime(['2017'-'3'-'17','22':'46':'14.043674112'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','22':'54':'57.001601536'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','22':'55':'27.00185728'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','22':'56':'21.001279744'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','22':'58':'5.002460928'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','22':'59':'3.001662208'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','22':'59':'37.0020416'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','23':'0':'30.001350656'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','23':'1':'21.002721792'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','23':'2':'13.002802432'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','23':'4':'9.001771776'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','23':'5':'46.001574912'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'17','23':'24':'50.03871488'],location(bluetoothKeyboard,kitchen)),atTime(['2017'-'3'-'18','8':'57':'11.00189312'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'18','9':'3':'5.041294848'],location(bluetoothKeyboard,kitchen)),atTime(['2017'-'3'-'18','16':'38':'36.043859968'],location(bluetoothKeyboard,kitchen)),atTime(['2017'-'3'-'18','16':'38':'59.044870144'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'20','16':'38':'33.053046528'],location(bluetoothKeyboard,kitchen)),atTime(['2017'-'3'-'21','12':'2':'39.054610688'],location(bluetoothKeyboard,kitchen)),atTime(['2017'-'3'-'23','13':'11':'46.043732992'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'24','17':'0':'45.062792704'],location(bluetoothKeyboard,kitchen)),atTime(['2017'-'3'-'24','17':'1':'6.043129856'],location(bluetoothKeyboard,computerRoom)),atTime(['2017'-'3'-'26','13':'24':'44.045858048'],location(bluetoothKeyboard,kitchen)),atTime(['2017'-'4'-'15','20':'0':'0.0'],location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith))] [true] [true] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],location(meredithMcGhan,flintMichigan))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],location(meredithMcGhan,flintMichigan))] [true] [true] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],location(meredithMcGhansCar,flintMichigan))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],location(meredithMcGhansCar,flintMichigan))] [true] [true] [dateTime,[2018-7-23,18:5:46.611291136]] [query,contains(_8982,_8988)] [findall(atTime(_9058,_9060),(atTime(_9058,_9060),contains(_8982,_8988)=_9060,view([query,contains(_8982,_8988),query2,_9060,dateTime,[2018-7-23,18:5:46.611291136],dateTime2,_9058]),compareTime(>,[2018-7-23,18:5:46.611291136],_9058)),_9054)] [results,[]] [tmpDistinctQueries,[]] [dateTime,[2018-7-23,18:5:46.611291136]] [query,mobile(_8954)] [findall(atTime(_9022,_9024),(atTime(_9022,_9024),mobile(_8954)=_9024,view([query,mobile(_8954),query2,_9024,dateTime,[2018-7-23,18:5:46.611291136],dateTime2,_9022]),compareTime(>,[2018-7-23,18:5:46.611291136],_9022)),_9018)] [results,[atTime(['2017'-'3'-'26','8':'0':'0'],mobile(bluetoothKeyboard)),atTime(['2017'-'3'-'26','8':'0':'0'],mobile(bookbag)),atTime(['2017'-'3'-'26','8':'0':'0'],mobile(bookbag)),atTime(['2017'-'3'-'26','8':'0':'0'],mobile('duffel-bag')),atTime(['2017'-'3'-'26','8':'0':'0'],mobile('duffel-bag')),atTime(['2017'-'3'-'26','8':'0':'0'],mobile('electric-razor0')),atTime(['2017'-'3'-'26','8':'0':'0'],mobile('electric-razor0')),atTime(['2017'-'3'-'26','8':'0':'0'],mobile('finger-clippers')),atTime(['2017'-'3'-'26','8':'0':'0'],mobile('finger-clippers')),atTime(['2017'-'3'-'26','8':'0':'0'],mobile('food-store')),atTime(['2017'-'3'-'26','8':'0':'0'],mobile('food-store')),atTime(['2017'-'3'-'26','8':'0':'0'],mobile('ibm-r30')),atTime(['2017'-'3'-'26','8':'0':'0'],mobile('ibm-r30')),atTime(['2017'-'3'-'26','8':'0':'0'],mobile('laptop-backpack')),atTime(['2017'-'3'-'26','8':'0':'0'],mobile('laptop-backpack')),atTime(['2017'-'3'-'26','8':'0':'0'],mobile(laundry)),atTime(['2017'-'3'-'26','8':'0':'0'],mobile(laundry)),atTime(['2017'-'3'-'26','8':'0':'0'],mobile(towel)),atTime(['2017'-'3'-'26','8':'0':'0'],mobile(towel)),atTime(['2017'-'4'-'15','20':'0':'0.0'],mobile(andrewDoughertysHypotheticalCar)),atTime(['2017'-'4'-'15','20':'0':'0.0'],mobile(meredithMcGhansCar))]] [tmpDistinctQueries,[mobile(bluetoothKeyboard),mobile(bookbag),mobile(bookbag),mobile('duffel-bag'),mobile('duffel-bag'),mobile('electric-razor0'),mobile('electric-razor0'),mobile('finger-clippers'),mobile('finger-clippers'),mobile('food-store'),mobile('food-store'),mobile('ibm-r30'),mobile('ibm-r30'),mobile('laptop-backpack'),mobile('laptop-backpack'),mobile(laundry),mobile(laundry),mobile(towel),mobile(towel),mobile(andrewDoughertysHypotheticalCar),mobile(meredithMcGhansCar)]] [distinctQueries,[mobile(andrewDoughertysHypotheticalCar),mobile(bluetoothKeyboard),mobile(bookbag),mobile('duffel-bag'),mobile('electric-razor0'),mobile('finger-clippers'),mobile('food-store'),mobile('ibm-r30'),mobile('laptop-backpack'),mobile(laundry),mobile(meredithMcGhansCar),mobile(towel)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],mobile(andrewDoughertysHypotheticalCar))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],mobile(andrewDoughertysHypotheticalCar))] [true] [sortedResults,[atTime(['2017'-'3'-'26','8':'0':'0'],mobile(bluetoothKeyboard))]] [result1,atTime(['2017'-'3'-'26','8':'0':'0'],mobile(bluetoothKeyboard))] [true] [sortedResults,[atTime(['2017'-'3'-'26','8':'0':'0'],mobile(bookbag))]] [result1,atTime(['2017'-'3'-'26','8':'0':'0'],mobile(bookbag))] [false] [sortedResults,[atTime(['2017'-'3'-'26','8':'0':'0'],mobile('duffel-bag'))]] [result1,atTime(['2017'-'3'-'26','8':'0':'0'],mobile('duffel-bag'))] [false] [sortedResults,[atTime(['2017'-'3'-'26','8':'0':'0'],mobile('electric-razor0'))]] [result1,atTime(['2017'-'3'-'26','8':'0':'0'],mobile('electric-razor0'))] [false] [sortedResults,[atTime(['2017'-'3'-'26','8':'0':'0'],mobile('finger-clippers'))]] [result1,atTime(['2017'-'3'-'26','8':'0':'0'],mobile('finger-clippers'))] [false] [sortedResults,[atTime(['2017'-'3'-'26','8':'0':'0'],mobile('food-store'))]] [result1,atTime(['2017'-'3'-'26','8':'0':'0'],mobile('food-store'))] [false] [sortedResults,[atTime(['2017'-'3'-'26','8':'0':'0'],mobile('ibm-r30'))]] [result1,atTime(['2017'-'3'-'26','8':'0':'0'],mobile('ibm-r30'))] [false] [sortedResults,[atTime(['2017'-'3'-'26','8':'0':'0'],mobile('laptop-backpack'))]] [result1,atTime(['2017'-'3'-'26','8':'0':'0'],mobile('laptop-backpack'))] [false] [sortedResults,[atTime(['2017'-'3'-'26','8':'0':'0'],mobile(laundry))]] [result1,atTime(['2017'-'3'-'26','8':'0':'0'],mobile(laundry))] [false] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],mobile(meredithMcGhansCar))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],mobile(meredithMcGhansCar))] [true] [sortedResults,[atTime(['2017'-'3'-'26','8':'0':'0'],mobile(towel))]] [result1,atTime(['2017'-'3'-'26','8':'0':'0'],mobile(towel))] [false] [dateTime,[2018-7-23,18:5:46.611291136]] [query,'directly-holding'(_8982,_8988)] [findall(atTime(_9058,_9060),(atTime(_9058,_9060),'directly-holding'(_8982,_8988)=_9060,view([query,'directly-holding'(_8982,_8988),query2,_9060,dateTime,[2018-7-23,18:5:46.611291136],dateTime2,_9058]),compareTime(>,[2018-7-23,18:5:46.611291136],_9058)),_9054)] [results,[]] [tmpDistinctQueries,[]] [dateTime,[2018-7-23,18:5:46.611291136]] [query,'travel-path'(_9004,_9010,_9016)] [findall(atTime(_9088,_9090),(atTime(_9088,_9090),'travel-path'(_9004,_9010,_9016)=_9090,view([query,'travel-path'(_9004,_9010,_9016),query2,_9090,dateTime,[2018-7-23,18:5:46.611291136],dateTime2,_9088]),compareTime(>,[2018-7-23,18:5:46.611291136],_9088)),_9084)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],'travel-path'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith)),atTime(['2017'-'4'-'15','20':'0':'0.0'],'travel-path'(driving,flintMichigan,auroraIllinois))]] [tmpDistinctQueries,['travel-path'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'travel-path'(driving,flintMichigan,auroraIllinois)]] [distinctQueries,['travel-path'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'travel-path'(driving,flintMichigan,auroraIllinois)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],'travel-path'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],'travel-path'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith))] [true] [true] [true] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],'travel-path'(driving,flintMichigan,auroraIllinois))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],'travel-path'(driving,flintMichigan,auroraIllinois))] [true] [true] [true] [dateTime,[2018-7-23,18:5:46.611291136]] [query,'driving-p'(_8954)] [findall(atTime(_9022,_9024),(atTime(_9022,_9024),'driving-p'(_8954)=_9024,view([query,'driving-p'(_8954),query2,_9024,dateTime,[2018-7-23,18:5:46.611291136],dateTime2,_9022]),compareTime(>,[2018-7-23,18:5:46.611291136],_9022)),_9018)] [results,[]] [tmpDistinctQueries,[]] [dateTime,[2018-7-23,18:5:46.611291136]] [query,'walking-p'(_8954)] [findall(atTime(_9022,_9024),(atTime(_9022,_9024),'walking-p'(_8954)=_9024,view([query,'walking-p'(_8954),query2,_9024,dateTime,[2018-7-23,18:5:46.611291136],dateTime2,_9022]),compareTime(>,[2018-7-23,18:5:46.611291136],_9022)),_9018)] [results,[]] [tmpDistinctQueries,[]] [wsmHolds([2018-7-23,18:5:46.611291136],set('travel-distance'(_9544,_9550,_9556),_9216),z)] [dateTime,[2018-7-23,18:5:46.611291136]] [query,set('travel-distance'(_9544,_9550,_9556),_9216)] [findall(atTime(_9638,_9640),(atTime(_9638,_9640),set('travel-distance'(_9544,_9550,_9556),_9216)=_9640,view([query,set('travel-distance'(_9544,_9550,_9556),_9216),query2,_9640,dateTime,[2018-7-23,18:5:46.611291136],dateTime2,_9638]),compareTime(>,[2018-7-23,18:5:46.611291136],_9638)),_9634)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],set('travel-distance'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'5')),atTime(['2017'-'4'-'15','20':'0':'0.0'],set('travel-distance'(driving,flintMichigan,auroraIllinois),'500'))]] [tmpDistinctQueries,[set('travel-distance'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'5'),set('travel-distance'(driving,flintMichigan,auroraIllinois),'500')]] [distinctQueries,[set('travel-distance'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'5'),set('travel-distance'(driving,flintMichigan,auroraIllinois),'500')]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],set('travel-distance'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'5'))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],set('travel-distance'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'5'))] [true] [true] [true] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],set('travel-distance'(driving,flintMichigan,auroraIllinois),'500'))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],set('travel-distance'(driving,flintMichigan,auroraIllinois),'500'))] [true] [true] [true] [wsmHolds([2018-7-23,18:5:46.611291136],set('travel-duration'(_9024,_9030,_9036),_8696),z)] [dateTime,[2018-7-23,18:5:46.611291136]] [query,set('travel-duration'(_9024,_9030,_9036),_8696)] [findall(atTime(_9118,_9120),(atTime(_9118,_9120),set('travel-duration'(_9024,_9030,_9036),_8696)=_9120,view([query,set('travel-duration'(_9024,_9030,_9036),_8696),query2,_9120,dateTime,[2018-7-23,18:5:46.611291136],dateTime2,_9118]),compareTime(>,[2018-7-23,18:5:46.611291136],_9118)),_9114)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],set('travel-duration'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'0.15')),atTime(['2017'-'4'-'15','20':'0':'0.0'],set('travel-duration'(driving,flintMichigan,auroraIllinois),'7'))]] [tmpDistinctQueries,[set('travel-duration'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'0.15'),set('travel-duration'(driving,flintMichigan,auroraIllinois),'7')]] [distinctQueries,[set('travel-duration'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'0.15'),set('travel-duration'(driving,flintMichigan,auroraIllinois),'7')]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],set('travel-duration'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'0.15'))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],set('travel-duration'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'0.15'))] [true] [true] [true] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],set('travel-duration'(driving,flintMichigan,auroraIllinois),'7'))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],set('travel-duration'(driving,flintMichigan,auroraIllinois),'7'))] [true] [true] [true] [abba] [parsed2,[domainFile('/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/templates/flp/flp.d.verb'),domain(domain(flp,['negative-preconditions','conditional-effects',equality,typing,fluents,'durative-actions','derived-predicates'],[genls([person],intelligentAgent),genls([intelligentAgent,residence,vehicle,tool,container],object),genls([vehicle],container),genls([object,physicalLocation],thing),genls([residence],physicalLocation),genls([modeOfTransportation],category)],[autonomous(are(['$VAR'('A')],intelligentAgent)),location(are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)),contains(are(['$VAR'('C')],container),are(['$VAR'('O')],object)),mobile(are(['$VAR'('Ob')],object)),'directly-holding'(are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object)),'travel-path'(are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)),'driving-p'(are(['$VAR'('M')],modeOfTransportation)),'walking-p'(are(['$VAR'('M')],modeOfTransportation))],[f('travel-distance',[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)]),f('travel-duration',[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)])],[durativeAction(walk,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('walking-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'at start'(location('$VAR'('A'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1')))]),durativeAction('pick-up',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'(not('directly-holding'('$VAR'('A'),'$VAR'('O')))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L')))],['at end'('directly-holding'('$VAR'('A'),'$VAR'('O')))]),durativeAction('set-down',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L')))],['at end'(location('$VAR'('O'),'$VAR'('L'))),'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))]),durativeAction(carry,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('walking-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'over all'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L0'))),'at start'(location('$VAR'('O'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(not(location('$VAR'('O'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1'))),'at end'(location('$VAR'('O'),'$VAR'('L1')))]),durativeAction('place-into',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('C')],container),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L'))),'at start'(location('$VAR'('C'),'$VAR'('L'))),'at start'(not(contains('$VAR'('C'),'$VAR'('O'))))],['at end'(contains('$VAR'('C'),'$VAR'('O'))),'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))]),durativeAction(drive,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('V')],vehicle),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('driving-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('V'))),'at start'(location('$VAR'('A'),'$VAR'('L0'))),'at start'(location('$VAR'('V'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(not(location('$VAR'('V'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1'))),'at end'(location('$VAR'('V'),'$VAR'('L1')))])])),problemFile(_2612),problem(problem(flp1,flp,[driving,walking,-,modeOfTransportation,bluetoothKeyboard,tissues,-,object,andrewDougherty,meredithMcGhan,-,person,auroraIllinois,flintMichigan,-,physicalLocation,townhomeOfEleanorAndAndrewAndMeredith,-,residence,bluetoothKeyboard,-,tool,andrewDoughertysHypotheticalCar,meredithMcGhansCar,-,vehicle],[autonomous(andrewDougherty),autonomous(meredithMcGhan),location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith),location(andrewDoughertysHypotheticalCar,auroraIllinois),location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith),location(meredithMcGhan,flintMichigan),location(meredithMcGhansCar,flintMichigan),mobile(andrewDoughertysHypotheticalCar),mobile(bluetoothKeyboard),mobile(meredithMcGhansCar),'travel-path'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'travel-path'(driving,flintMichigan,auroraIllinois),'travel-distance'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith)='5','travel-distance'(driving,flintMichigan,auroraIllinois)='500','travel-duration'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith)='0.15','travel-duration'(driving,flintMichigan,auroraIllinois)='7'],['directly-holding'(andrewDougherty,bluetoothKeyboard)])),solutionFile('/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/flp/flp.p.verb.LPG.sol'),solution(_74),verbFile('/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/templates/flp/flp.metadata.pl'),verb([verber(domain(flp),problem(flp1),includes([]),startDate([2017-4-14,9:0:0]),units([0-0-0,1:0:0]))])]] [1] [requirements,[':requirements',':negative-preconditions',':conditional-effects',':equality',':typing',':fluents',':durative-actions',':derived-predicates']] [tmpTypes,[genls([person],intelligentAgent),genls([intelligentAgent,residence,vehicle,tool,container],object),genls([vehicle],container),genls([object,physicalLocation],thing),genls([residence],physicalLocation),genls([modeOfTransportation],category)]] [types,[':types',intelligentAgent,residence,vehicle,tool,container,-,object,modeOfTransportation,-,category,object,physicalLocation,-,thing,person,-,intelligentAgent,residence,-,physicalLocation,vehicle,-,container]] [tmpPredicate,autonomous(are(['$VAR'('A')],intelligentAgent))] [predicateName,autonomous] [allTypeSpecs,[are(['$VAR'('A')],intelligentAgent)]] [type,intelligentAgent,typeSpecs,['$VAR'('A')]] [tmpPredicate,location(are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation))] [predicateName,location] [allTypeSpecs,[are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)]] [type,object,typeSpecs,['$VAR'('O')]] [type,physicalLocation,typeSpecs,['$VAR'('L')]] [tmpPredicate,contains(are(['$VAR'('C')],container),are(['$VAR'('O')],object))] [predicateName,contains] [allTypeSpecs,[are(['$VAR'('C')],container),are(['$VAR'('O')],object)]] [type,container,typeSpecs,['$VAR'('C')]] [type,object,typeSpecs,['$VAR'('O')]] [tmpPredicate,mobile(are(['$VAR'('Ob')],object))] [predicateName,mobile] [allTypeSpecs,[are(['$VAR'('Ob')],object)]] [type,object,typeSpecs,['$VAR'('Ob')]] [tmpPredicate,'directly-holding'(are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object))] [predicateName,'directly-holding'] [allTypeSpecs,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object)]] [type,intelligentAgent,typeSpecs,['$VAR'('A')]] [type,object,typeSpecs,['$VAR'('O')]] [tmpPredicate,'travel-path'(are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation))] [predicateName,'travel-path'] [allTypeSpecs,[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)]] [type,modeOfTransportation,typeSpecs,['$VAR'('M')]] [type,physicalLocation,typeSpecs,['$VAR'('L0'),'$VAR'('L1')]] [tmpPredicate,'driving-p'(are(['$VAR'('M')],modeOfTransportation))] [predicateName,'driving-p'] [allTypeSpecs,[are(['$VAR'('M')],modeOfTransportation)]] [type,modeOfTransportation,typeSpecs,['$VAR'('M')]] [tmpPredicate,'walking-p'(are(['$VAR'('M')],modeOfTransportation))] [predicateName,'walking-p'] [allTypeSpecs,[are(['$VAR'('M')],modeOfTransportation)]] [type,modeOfTransportation,typeSpecs,['$VAR'('M')]] [predicates,[[autonomous,'?A',-,intelligentAgent],[location,'?O',-,object,'?L',-,physicalLocation],[contains,'?C',-,container,'?O',-,object],[mobile,'?Ob',-,object],['directly-holding','?A',-,intelligentAgent,'?O',-,object],['travel-path','?M',-,modeOfTransportation,'?L0','?L1',-,physicalLocation],['driving-p','?M',-,modeOfTransportation],['walking-p','?M',-,modeOfTransportation]]] [predicates,[':predicates',[autonomous,'?A',-,intelligentAgent],[location,'?O',-,object,'?L',-,physicalLocation],[contains,'?C',-,container,'?O',-,object],[mobile,'?Ob',-,object],['directly-holding','?A',-,intelligentAgent,'?O',-,object],['travel-path','?M',-,modeOfTransportation,'?L0','?L1',-,physicalLocation],['driving-p','?M',-,modeOfTransportation],['walking-p','?M',-,modeOfTransportation]]] [tmpFunctions,[f('travel-distance',[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)]),f('travel-duration',[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)])]] [tmpFunction,f('travel-distance',[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)])] [functionName,'travel-distance'] [allTypeSpecs,[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)]] [type,modeOfTransportation,typeSpecs,['$VAR'('M')]] [type,physicalLocation,typeSpecs,['$VAR'('L0'),'$VAR'('L1')]] [tmpOutputs,[['?M',-,modeOfTransportation],['?L0','?L1',-,physicalLocation]]] [outputs,['?M',-,modeOfTransportation,'?L0','?L1',-,physicalLocation]] [tmpFunction,f('travel-duration',[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)])] [functionName,'travel-duration'] [allTypeSpecs,[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)]] [type,modeOfTransportation,typeSpecs,['$VAR'('M')]] [type,physicalLocation,typeSpecs,['$VAR'('L0'),'$VAR'('L1')]] [tmpOutputs,[['?M',-,modeOfTransportation],['?L0','?L1',-,physicalLocation]]] [outputs,['?M',-,modeOfTransportation,'?L0','?L1',-,physicalLocation]] [functions,[['travel-distance','?M',-,modeOfTransportation,'?L0','?L1',-,physicalLocation],['travel-duration','?M',-,modeOfTransportation,'?L0','?L1',-,physicalLocation]]] [functions,[':functions',['travel-distance','?M',-,modeOfTransportation,'?L0','?L1',-,physicalLocation],['travel-duration','?M',-,modeOfTransportation,'?L0','?L1',-,physicalLocation]]] [tmpAction,durativeAction(walk,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('walking-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'at start'(location('$VAR'('A'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1')))])] [pre,'over all'('walking-p'('$VAR'('M')))] [pre,'walking-p'('$VAR'('M'))] [pre,'$VAR'('M')] [pre,'M'] [preA,'over all'('walking-p'('$VAR'('M')))] [preA,'over all'] [preA,'walking-p'('$VAR'('M'))] [preA,'walking-p'] [preA,'$VAR'('M')] [preA,'$VAR'] [preA,'M'] [newPrecondition,'over all'('walking-p'('$VAR'('M')))] [pre,'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')))] [pre,'travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))] [pre,'$VAR'('M')] [pre,'M'] [pre,'$VAR'('L0')] [pre,'L0'] [pre,'$VAR'('L1')] [pre,'L1'] [preA,'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')))] [preA,'over all'] [preA,'travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))] [preA,'travel-path'] [preA,'$VAR'('M')] [preA,'$VAR'] [preA,'M'] [preA,'$VAR'('L0')] [preA,'$VAR'] [preA,'L0'] [preA,'$VAR'('L1')] [preA,'$VAR'] [preA,'L1'] [newPrecondition,'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')))] [pre,'over all'(autonomous('$VAR'('A')))] [pre,autonomous('$VAR'('A'))] [pre,'$VAR'('A')] [pre,'A'] [preA,'over all'(autonomous('$VAR'('A')))] [preA,'over all'] [preA,autonomous('$VAR'('A'))] [preA,autonomous] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [newPrecondition,'over all'(autonomous('$VAR'('A')))] [pre,'at start'(location('$VAR'('A'),'$VAR'('L0')))] [pre,location('$VAR'('A'),'$VAR'('L0'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('L0')] [pre,'L0'] [preA,'at start'(location('$VAR'('A'),'$VAR'('L0')))] [preA,'at start'] [preA,location('$VAR'('A'),'$VAR'('L0'))] [preA,location] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('L0')] [preA,'$VAR'] [preA,'L0'] [newPrecondition,'at start'(location('$VAR'('A'),'$VAR'('L0')))] [effect,'at end'(not(location('$VAR'('A'),'$VAR'('L0'))))] [op,'at end',args,[not(location('$VAR'('A'),'$VAR'('L0')))]] [newargs,not(location('$VAR'('A'),'$VAR'('L0')))] [pre,'at end'(not(location('$VAR'('A'),'$VAR'('L0'))))] [pre,not(location('$VAR'('A'),'$VAR'('L0')))] [pre,location('$VAR'('A'),'$VAR'('L0'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('L0')] [pre,'L0'] [preA,'at end'(not(location('$VAR'('A'),'$VAR'('L0'))))] [preA,'at end'] [preA,not(location('$VAR'('A'),'$VAR'('L0')))] [preA,not] [preA,location('$VAR'('A'),'$VAR'('L0'))] [preA,location] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('L0')] [preA,'$VAR'] [preA,'L0'] [neweffect,'at end'(not(location('$VAR'('A'),'$VAR'('L0'))))] [effect,'at end'(location('$VAR'('A'),'$VAR'('L1')))] [op,'at end',args,[location('$VAR'('A'),'$VAR'('L1'))]] [newargs,location('$VAR'('A'),'$VAR'('L1'))] [pre,'at end'(location('$VAR'('A'),'$VAR'('L1')))] [pre,location('$VAR'('A'),'$VAR'('L1'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('L1')] [pre,'L1'] [preA,'at end'(location('$VAR'('A'),'$VAR'('L1')))] [preA,'at end'] [preA,location('$VAR'('A'),'$VAR'('L1'))] [preA,location] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('L1')] [preA,'$VAR'] [preA,'L1'] [neweffect,'at end'(location('$VAR'('A'),'$VAR'('L1')))] [actionName,walk,variables,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],duration,'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),preconditions,['over all'('walking-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'at start'(location('$VAR'('A'),'$VAR'('L0')))],effects,['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1')))]] [type,intelligentAgent,variables,['$VAR'('A')]] [type,physicalLocation,variables,['$VAR'('L0'),'$VAR'('L1')]] [type,modeOfTransportation,variables,['$VAR'('M')]] [pre,'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))] [pre,'$VAR'('M')] [pre,'$VAR'('L0')] [pre,'$VAR'('L1')] [pre,[and,'over all'('walking-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'at start'(location('$VAR'('A'),'$VAR'('L0')))]] [pre,and] [pre,'over all'('walking-p'('$VAR'('M')))] [pre,'walking-p'('$VAR'('M'))] [pre,'$VAR'('M')] [pre,'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')))] [pre,'travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))] [pre,'$VAR'('M')] [pre,'$VAR'('L0')] [pre,'$VAR'('L1')] [pre,'over all'(autonomous('$VAR'('A')))] [pre,autonomous('$VAR'('A'))] [pre,'$VAR'('A')] [pre,'at start'(location('$VAR'('A'),'$VAR'('L0')))] [pre,location('$VAR'('A'),'$VAR'('L0'))] [pre,'$VAR'('A')] [pre,'$VAR'('L0')] [pre,[and,'at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1')))]] [pre,and] [pre,'at end'(not(location('$VAR'('A'),'$VAR'('L0'))))] [pre,not(location('$VAR'('A'),'$VAR'('L0')))] [pre,location('$VAR'('A'),'$VAR'('L0'))] [pre,'$VAR'('A')] [pre,'$VAR'('L0')] [pre,'at end'(location('$VAR'('A'),'$VAR'('L1')))] [pre,location('$VAR'('A'),'$VAR'('L1'))] [pre,'$VAR'('A')] [pre,'$VAR'('L1')] [tmpAction,durativeAction('pick-up',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'(not('directly-holding'('$VAR'('A'),'$VAR'('O')))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L')))],['at end'('directly-holding'('$VAR'('A'),'$VAR'('O')))])] [pre,'over all'(autonomous('$VAR'('A')))] [pre,autonomous('$VAR'('A'))] [pre,'$VAR'('A')] [pre,'A'] [preA,'over all'(autonomous('$VAR'('A')))] [preA,'over all'] [preA,autonomous('$VAR'('A'))] [preA,autonomous] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [newPrecondition,'over all'(autonomous('$VAR'('A')))] [pre,'over all'(mobile('$VAR'('O')))] [pre,mobile('$VAR'('O'))] [pre,'$VAR'('O')] [pre,'O'] [preA,'over all'(mobile('$VAR'('O')))] [preA,'over all'] [preA,mobile('$VAR'('O'))] [preA,mobile] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [newPrecondition,'over all'(mobile('$VAR'('O')))] [pre,'at start'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))] [pre,not('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('O')] [pre,'O'] [preA,'at start'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))] [preA,'at start'] [preA,not('directly-holding'('$VAR'('A'),'$VAR'('O')))] [preA,not] [preA,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [preA,'directly-holding'] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [newPrecondition,'at start'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))] [pre,'at start'(location('$VAR'('A'),'$VAR'('L')))] [pre,location('$VAR'('A'),'$VAR'('L'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('L')] [pre,'L'] [preA,'at start'(location('$VAR'('A'),'$VAR'('L')))] [preA,'at start'] [preA,location('$VAR'('A'),'$VAR'('L'))] [preA,location] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('L')] [preA,'$VAR'] [preA,'L'] [newPrecondition,'at start'(location('$VAR'('A'),'$VAR'('L')))] [pre,'at start'(location('$VAR'('O'),'$VAR'('L')))] [pre,location('$VAR'('O'),'$VAR'('L'))] [pre,'$VAR'('O')] [pre,'O'] [pre,'$VAR'('L')] [pre,'L'] [preA,'at start'(location('$VAR'('O'),'$VAR'('L')))] [preA,'at start'] [preA,location('$VAR'('O'),'$VAR'('L'))] [preA,location] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [preA,'$VAR'('L')] [preA,'$VAR'] [preA,'L'] [newPrecondition,'at start'(location('$VAR'('O'),'$VAR'('L')))] [effect,'at end'('directly-holding'('$VAR'('A'),'$VAR'('O')))] [op,'at end',args,['directly-holding'('$VAR'('A'),'$VAR'('O'))]] [newargs,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [pre,'at end'('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('O')] [pre,'O'] [preA,'at end'('directly-holding'('$VAR'('A'),'$VAR'('O')))] [preA,'at end'] [preA,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [preA,'directly-holding'] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [neweffect,'at end'('directly-holding'('$VAR'('A'),'$VAR'('O')))] [actionName,'pick-up',variables,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)],duration,0,preconditions,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'(not('directly-holding'('$VAR'('A'),'$VAR'('O')))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L')))],effects,['at end'('directly-holding'('$VAR'('A'),'$VAR'('O')))]] [type,intelligentAgent,variables,['$VAR'('A')]] [type,object,variables,['$VAR'('O')]] [type,physicalLocation,variables,['$VAR'('L')]] [pre,0] [pre,[and,'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'(not('directly-holding'('$VAR'('A'),'$VAR'('O')))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L')))]] [pre,and] [pre,'over all'(autonomous('$VAR'('A')))] [pre,autonomous('$VAR'('A'))] [pre,'$VAR'('A')] [pre,'over all'(mobile('$VAR'('O')))] [pre,mobile('$VAR'('O'))] [pre,'$VAR'('O')] [pre,'at start'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))] [pre,not('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [pre,'$VAR'('A')] [pre,'$VAR'('O')] [pre,'at start'(location('$VAR'('A'),'$VAR'('L')))] [pre,location('$VAR'('A'),'$VAR'('L'))] [pre,'$VAR'('A')] [pre,'$VAR'('L')] [pre,'at start'(location('$VAR'('O'),'$VAR'('L')))] [pre,location('$VAR'('O'),'$VAR'('L'))] [pre,'$VAR'('O')] [pre,'$VAR'('L')] [pre,[and,'at end'('directly-holding'('$VAR'('A'),'$VAR'('O')))]] [pre,and] [pre,'at end'('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [pre,'$VAR'('A')] [pre,'$VAR'('O')] [tmpAction,durativeAction('set-down',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L')))],['at end'(location('$VAR'('O'),'$VAR'('L'))),'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))])] [pre,'over all'(autonomous('$VAR'('A')))] [pre,autonomous('$VAR'('A'))] [pre,'$VAR'('A')] [pre,'A'] [preA,'over all'(autonomous('$VAR'('A')))] [preA,'over all'] [preA,autonomous('$VAR'('A'))] [preA,autonomous] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [newPrecondition,'over all'(autonomous('$VAR'('A')))] [pre,'over all'(mobile('$VAR'('O')))] [pre,mobile('$VAR'('O'))] [pre,'$VAR'('O')] [pre,'O'] [preA,'over all'(mobile('$VAR'('O')))] [preA,'over all'] [preA,mobile('$VAR'('O'))] [preA,mobile] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [newPrecondition,'over all'(mobile('$VAR'('O')))] [pre,'at start'('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('O')] [pre,'O'] [preA,'at start'('directly-holding'('$VAR'('A'),'$VAR'('O')))] [preA,'at start'] [preA,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [preA,'directly-holding'] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [newPrecondition,'at start'('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'at start'(location('$VAR'('A'),'$VAR'('L')))] [pre,location('$VAR'('A'),'$VAR'('L'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('L')] [pre,'L'] [preA,'at start'(location('$VAR'('A'),'$VAR'('L')))] [preA,'at start'] [preA,location('$VAR'('A'),'$VAR'('L'))] [preA,location] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('L')] [preA,'$VAR'] [preA,'L'] [newPrecondition,'at start'(location('$VAR'('A'),'$VAR'('L')))] [effect,'at end'(location('$VAR'('O'),'$VAR'('L')))] [op,'at end',args,[location('$VAR'('O'),'$VAR'('L'))]] [newargs,location('$VAR'('O'),'$VAR'('L'))] [pre,'at end'(location('$VAR'('O'),'$VAR'('L')))] [pre,location('$VAR'('O'),'$VAR'('L'))] [pre,'$VAR'('O')] [pre,'O'] [pre,'$VAR'('L')] [pre,'L'] [preA,'at end'(location('$VAR'('O'),'$VAR'('L')))] [preA,'at end'] [preA,location('$VAR'('O'),'$VAR'('L'))] [preA,location] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [preA,'$VAR'('L')] [preA,'$VAR'] [preA,'L'] [neweffect,'at end'(location('$VAR'('O'),'$VAR'('L')))] [effect,'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))] [op,'at end',args,[not('directly-holding'('$VAR'('A'),'$VAR'('O')))]] [newargs,not('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))] [pre,not('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('O')] [pre,'O'] [preA,'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))] [preA,'at end'] [preA,not('directly-holding'('$VAR'('A'),'$VAR'('O')))] [preA,not] [preA,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [preA,'directly-holding'] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [neweffect,'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))] [actionName,'set-down',variables,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)],duration,0,preconditions,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L')))],effects,['at end'(location('$VAR'('O'),'$VAR'('L'))),'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))]] [type,intelligentAgent,variables,['$VAR'('A')]] [type,object,variables,['$VAR'('O')]] [type,physicalLocation,variables,['$VAR'('L')]] [pre,0] [pre,[and,'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L')))]] [pre,and] [pre,'over all'(autonomous('$VAR'('A')))] [pre,autonomous('$VAR'('A'))] [pre,'$VAR'('A')] [pre,'over all'(mobile('$VAR'('O')))] [pre,mobile('$VAR'('O'))] [pre,'$VAR'('O')] [pre,'at start'('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [pre,'$VAR'('A')] [pre,'$VAR'('O')] [pre,'at start'(location('$VAR'('A'),'$VAR'('L')))] [pre,location('$VAR'('A'),'$VAR'('L'))] [pre,'$VAR'('A')] [pre,'$VAR'('L')] [pre,[and,'at end'(location('$VAR'('O'),'$VAR'('L'))),'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))]] [pre,and] [pre,'at end'(location('$VAR'('O'),'$VAR'('L')))] [pre,location('$VAR'('O'),'$VAR'('L'))] [pre,'$VAR'('O')] [pre,'$VAR'('L')] [pre,'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))] [pre,not('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [pre,'$VAR'('A')] [pre,'$VAR'('O')] [tmpAction,durativeAction(carry,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('walking-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'over all'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L0'))),'at start'(location('$VAR'('O'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(not(location('$VAR'('O'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1'))),'at end'(location('$VAR'('O'),'$VAR'('L1')))])] [pre,'over all'('walking-p'('$VAR'('M')))] [pre,'walking-p'('$VAR'('M'))] [pre,'$VAR'('M')] [pre,'M'] [preA,'over all'('walking-p'('$VAR'('M')))] [preA,'over all'] [preA,'walking-p'('$VAR'('M'))] [preA,'walking-p'] [preA,'$VAR'('M')] [preA,'$VAR'] [preA,'M'] [newPrecondition,'over all'('walking-p'('$VAR'('M')))] [pre,'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')))] [pre,'travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))] [pre,'$VAR'('M')] [pre,'M'] [pre,'$VAR'('L0')] [pre,'L0'] [pre,'$VAR'('L1')] [pre,'L1'] [preA,'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')))] [preA,'over all'] [preA,'travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))] [preA,'travel-path'] [preA,'$VAR'('M')] [preA,'$VAR'] [preA,'M'] [preA,'$VAR'('L0')] [preA,'$VAR'] [preA,'L0'] [preA,'$VAR'('L1')] [preA,'$VAR'] [preA,'L1'] [newPrecondition,'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')))] [pre,'over all'(autonomous('$VAR'('A')))] [pre,autonomous('$VAR'('A'))] [pre,'$VAR'('A')] [pre,'A'] [preA,'over all'(autonomous('$VAR'('A')))] [preA,'over all'] [preA,autonomous('$VAR'('A'))] [preA,autonomous] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [newPrecondition,'over all'(autonomous('$VAR'('A')))] [pre,'over all'(mobile('$VAR'('O')))] [pre,mobile('$VAR'('O'))] [pre,'$VAR'('O')] [pre,'O'] [preA,'over all'(mobile('$VAR'('O')))] [preA,'over all'] [preA,mobile('$VAR'('O'))] [preA,mobile] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [newPrecondition,'over all'(mobile('$VAR'('O')))] [pre,'over all'('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('O')] [pre,'O'] [preA,'over all'('directly-holding'('$VAR'('A'),'$VAR'('O')))] [preA,'over all'] [preA,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [preA,'directly-holding'] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [newPrecondition,'over all'('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'at start'(location('$VAR'('A'),'$VAR'('L0')))] [pre,location('$VAR'('A'),'$VAR'('L0'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('L0')] [pre,'L0'] [preA,'at start'(location('$VAR'('A'),'$VAR'('L0')))] [preA,'at start'] [preA,location('$VAR'('A'),'$VAR'('L0'))] [preA,location] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('L0')] [preA,'$VAR'] [preA,'L0'] [newPrecondition,'at start'(location('$VAR'('A'),'$VAR'('L0')))] [pre,'at start'(location('$VAR'('O'),'$VAR'('L0')))] [pre,location('$VAR'('O'),'$VAR'('L0'))] [pre,'$VAR'('O')] [pre,'O'] [pre,'$VAR'('L0')] [pre,'L0'] [preA,'at start'(location('$VAR'('O'),'$VAR'('L0')))] [preA,'at start'] [preA,location('$VAR'('O'),'$VAR'('L0'))] [preA,location] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [preA,'$VAR'('L0')] [preA,'$VAR'] [preA,'L0'] [newPrecondition,'at start'(location('$VAR'('O'),'$VAR'('L0')))] [effect,'at end'(not(location('$VAR'('A'),'$VAR'('L0'))))] [op,'at end',args,[not(location('$VAR'('A'),'$VAR'('L0')))]] [newargs,not(location('$VAR'('A'),'$VAR'('L0')))] [pre,'at end'(not(location('$VAR'('A'),'$VAR'('L0'))))] [pre,not(location('$VAR'('A'),'$VAR'('L0')))] [pre,location('$VAR'('A'),'$VAR'('L0'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('L0')] [pre,'L0'] [preA,'at end'(not(location('$VAR'('A'),'$VAR'('L0'))))] [preA,'at end'] [preA,not(location('$VAR'('A'),'$VAR'('L0')))] [preA,not] [preA,location('$VAR'('A'),'$VAR'('L0'))] [preA,location] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('L0')] [preA,'$VAR'] [preA,'L0'] [neweffect,'at end'(not(location('$VAR'('A'),'$VAR'('L0'))))] [effect,'at end'(not(location('$VAR'('O'),'$VAR'('L0'))))] [op,'at end',args,[not(location('$VAR'('O'),'$VAR'('L0')))]] [newargs,not(location('$VAR'('O'),'$VAR'('L0')))] [pre,'at end'(not(location('$VAR'('O'),'$VAR'('L0'))))] [pre,not(location('$VAR'('O'),'$VAR'('L0')))] [pre,location('$VAR'('O'),'$VAR'('L0'))] [pre,'$VAR'('O')] [pre,'O'] [pre,'$VAR'('L0')] [pre,'L0'] [preA,'at end'(not(location('$VAR'('O'),'$VAR'('L0'))))] [preA,'at end'] [preA,not(location('$VAR'('O'),'$VAR'('L0')))] [preA,not] [preA,location('$VAR'('O'),'$VAR'('L0'))] [preA,location] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [preA,'$VAR'('L0')] [preA,'$VAR'] [preA,'L0'] [neweffect,'at end'(not(location('$VAR'('O'),'$VAR'('L0'))))] [effect,'at end'(location('$VAR'('A'),'$VAR'('L1')))] [op,'at end',args,[location('$VAR'('A'),'$VAR'('L1'))]] [newargs,location('$VAR'('A'),'$VAR'('L1'))] [pre,'at end'(location('$VAR'('A'),'$VAR'('L1')))] [pre,location('$VAR'('A'),'$VAR'('L1'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('L1')] [pre,'L1'] [preA,'at end'(location('$VAR'('A'),'$VAR'('L1')))] [preA,'at end'] [preA,location('$VAR'('A'),'$VAR'('L1'))] [preA,location] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('L1')] [preA,'$VAR'] [preA,'L1'] [neweffect,'at end'(location('$VAR'('A'),'$VAR'('L1')))] [effect,'at end'(location('$VAR'('O'),'$VAR'('L1')))] [op,'at end',args,[location('$VAR'('O'),'$VAR'('L1'))]] [newargs,location('$VAR'('O'),'$VAR'('L1'))] [pre,'at end'(location('$VAR'('O'),'$VAR'('L1')))] [pre,location('$VAR'('O'),'$VAR'('L1'))] [pre,'$VAR'('O')] [pre,'O'] [pre,'$VAR'('L1')] [pre,'L1'] [preA,'at end'(location('$VAR'('O'),'$VAR'('L1')))] [preA,'at end'] [preA,location('$VAR'('O'),'$VAR'('L1'))] [preA,location] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [preA,'$VAR'('L1')] [preA,'$VAR'] [preA,'L1'] [neweffect,'at end'(location('$VAR'('O'),'$VAR'('L1')))] [actionName,carry,variables,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],duration,'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),preconditions,['over all'('walking-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'over all'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L0'))),'at start'(location('$VAR'('O'),'$VAR'('L0')))],effects,['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(not(location('$VAR'('O'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1'))),'at end'(location('$VAR'('O'),'$VAR'('L1')))]] [type,intelligentAgent,variables,['$VAR'('A')]] [type,object,variables,['$VAR'('O')]] [type,physicalLocation,variables,['$VAR'('L0'),'$VAR'('L1')]] [type,modeOfTransportation,variables,['$VAR'('M')]] [pre,'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))] [pre,'$VAR'('M')] [pre,'$VAR'('L0')] [pre,'$VAR'('L1')] [pre,[and,'over all'('walking-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'over all'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L0'))),'at start'(location('$VAR'('O'),'$VAR'('L0')))]] [pre,and] [pre,'over all'('walking-p'('$VAR'('M')))] [pre,'walking-p'('$VAR'('M'))] [pre,'$VAR'('M')] [pre,'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')))] [pre,'travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))] [pre,'$VAR'('M')] [pre,'$VAR'('L0')] [pre,'$VAR'('L1')] [pre,'over all'(autonomous('$VAR'('A')))] [pre,autonomous('$VAR'('A'))] [pre,'$VAR'('A')] [pre,'over all'(mobile('$VAR'('O')))] [pre,mobile('$VAR'('O'))] [pre,'$VAR'('O')] [pre,'over all'('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [pre,'$VAR'('A')] [pre,'$VAR'('O')] [pre,'at start'(location('$VAR'('A'),'$VAR'('L0')))] [pre,location('$VAR'('A'),'$VAR'('L0'))] [pre,'$VAR'('A')] [pre,'$VAR'('L0')] [pre,'at start'(location('$VAR'('O'),'$VAR'('L0')))] [pre,location('$VAR'('O'),'$VAR'('L0'))] [pre,'$VAR'('O')] [pre,'$VAR'('L0')] [pre,[and,'at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(not(location('$VAR'('O'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1'))),'at end'(location('$VAR'('O'),'$VAR'('L1')))]] [pre,and] [pre,'at end'(not(location('$VAR'('A'),'$VAR'('L0'))))] [pre,not(location('$VAR'('A'),'$VAR'('L0')))] [pre,location('$VAR'('A'),'$VAR'('L0'))] [pre,'$VAR'('A')] [pre,'$VAR'('L0')] [pre,'at end'(not(location('$VAR'('O'),'$VAR'('L0'))))] [pre,not(location('$VAR'('O'),'$VAR'('L0')))] [pre,location('$VAR'('O'),'$VAR'('L0'))] [pre,'$VAR'('O')] [pre,'$VAR'('L0')] [pre,'at end'(location('$VAR'('A'),'$VAR'('L1')))] [pre,location('$VAR'('A'),'$VAR'('L1'))] [pre,'$VAR'('A')] [pre,'$VAR'('L1')] [pre,'at end'(location('$VAR'('O'),'$VAR'('L1')))] [pre,location('$VAR'('O'),'$VAR'('L1'))] [pre,'$VAR'('O')] [pre,'$VAR'('L1')] [tmpAction,durativeAction('place-into',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('C')],container),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L'))),'at start'(location('$VAR'('C'),'$VAR'('L'))),'at start'(not(contains('$VAR'('C'),'$VAR'('O'))))],['at end'(contains('$VAR'('C'),'$VAR'('O'))),'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))])] [pre,'over all'(autonomous('$VAR'('A')))] [pre,autonomous('$VAR'('A'))] [pre,'$VAR'('A')] [pre,'A'] [preA,'over all'(autonomous('$VAR'('A')))] [preA,'over all'] [preA,autonomous('$VAR'('A'))] [preA,autonomous] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [newPrecondition,'over all'(autonomous('$VAR'('A')))] [pre,'over all'(mobile('$VAR'('O')))] [pre,mobile('$VAR'('O'))] [pre,'$VAR'('O')] [pre,'O'] [preA,'over all'(mobile('$VAR'('O')))] [preA,'over all'] [preA,mobile('$VAR'('O'))] [preA,mobile] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [newPrecondition,'over all'(mobile('$VAR'('O')))] [pre,'at start'('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('O')] [pre,'O'] [preA,'at start'('directly-holding'('$VAR'('A'),'$VAR'('O')))] [preA,'at start'] [preA,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [preA,'directly-holding'] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [newPrecondition,'at start'('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'at start'(location('$VAR'('A'),'$VAR'('L')))] [pre,location('$VAR'('A'),'$VAR'('L'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('L')] [pre,'L'] [preA,'at start'(location('$VAR'('A'),'$VAR'('L')))] [preA,'at start'] [preA,location('$VAR'('A'),'$VAR'('L'))] [preA,location] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('L')] [preA,'$VAR'] [preA,'L'] [newPrecondition,'at start'(location('$VAR'('A'),'$VAR'('L')))] [pre,'at start'(location('$VAR'('O'),'$VAR'('L')))] [pre,location('$VAR'('O'),'$VAR'('L'))] [pre,'$VAR'('O')] [pre,'O'] [pre,'$VAR'('L')] [pre,'L'] [preA,'at start'(location('$VAR'('O'),'$VAR'('L')))] [preA,'at start'] [preA,location('$VAR'('O'),'$VAR'('L'))] [preA,location] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [preA,'$VAR'('L')] [preA,'$VAR'] [preA,'L'] [newPrecondition,'at start'(location('$VAR'('O'),'$VAR'('L')))] [pre,'at start'(location('$VAR'('C'),'$VAR'('L')))] [pre,location('$VAR'('C'),'$VAR'('L'))] [pre,'$VAR'('C')] [pre,'C'] [pre,'$VAR'('L')] [pre,'L'] [preA,'at start'(location('$VAR'('C'),'$VAR'('L')))] [preA,'at start'] [preA,location('$VAR'('C'),'$VAR'('L'))] [preA,location] [preA,'$VAR'('C')] [preA,'$VAR'] [preA,'C'] [preA,'$VAR'('L')] [preA,'$VAR'] [preA,'L'] [newPrecondition,'at start'(location('$VAR'('C'),'$VAR'('L')))] [pre,'at start'(not(contains('$VAR'('C'),'$VAR'('O'))))] [pre,not(contains('$VAR'('C'),'$VAR'('O')))] [pre,contains('$VAR'('C'),'$VAR'('O'))] [pre,'$VAR'('C')] [pre,'C'] [pre,'$VAR'('O')] [pre,'O'] [preA,'at start'(not(contains('$VAR'('C'),'$VAR'('O'))))] [preA,'at start'] [preA,not(contains('$VAR'('C'),'$VAR'('O')))] [preA,not] [preA,contains('$VAR'('C'),'$VAR'('O'))] [preA,contains] [preA,'$VAR'('C')] [preA,'$VAR'] [preA,'C'] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [newPrecondition,'at start'(not(contains('$VAR'('C'),'$VAR'('O'))))] [effect,'at end'(contains('$VAR'('C'),'$VAR'('O')))] [op,'at end',args,[contains('$VAR'('C'),'$VAR'('O'))]] [newargs,contains('$VAR'('C'),'$VAR'('O'))] [pre,'at end'(contains('$VAR'('C'),'$VAR'('O')))] [pre,contains('$VAR'('C'),'$VAR'('O'))] [pre,'$VAR'('C')] [pre,'C'] [pre,'$VAR'('O')] [pre,'O'] [preA,'at end'(contains('$VAR'('C'),'$VAR'('O')))] [preA,'at end'] [preA,contains('$VAR'('C'),'$VAR'('O'))] [preA,contains] [preA,'$VAR'('C')] [preA,'$VAR'] [preA,'C'] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [neweffect,'at end'(contains('$VAR'('C'),'$VAR'('O')))] [effect,'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))] [op,'at end',args,[not('directly-holding'('$VAR'('A'),'$VAR'('O')))]] [newargs,not('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))] [pre,not('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('O')] [pre,'O'] [preA,'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))] [preA,'at end'] [preA,not('directly-holding'('$VAR'('A'),'$VAR'('O')))] [preA,not] [preA,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [preA,'directly-holding'] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('O')] [preA,'$VAR'] [preA,'O'] [neweffect,'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))] [actionName,'place-into',variables,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('C')],container),are(['$VAR'('L')],physicalLocation)],duration,0,preconditions,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L'))),'at start'(location('$VAR'('C'),'$VAR'('L'))),'at start'(not(contains('$VAR'('C'),'$VAR'('O'))))],effects,['at end'(contains('$VAR'('C'),'$VAR'('O'))),'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))]] [type,intelligentAgent,variables,['$VAR'('A')]] [type,object,variables,['$VAR'('O')]] [type,container,variables,['$VAR'('C')]] [type,physicalLocation,variables,['$VAR'('L')]] [pre,0] [pre,[and,'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L'))),'at start'(location('$VAR'('C'),'$VAR'('L'))),'at start'(not(contains('$VAR'('C'),'$VAR'('O'))))]] [pre,and] [pre,'over all'(autonomous('$VAR'('A')))] [pre,autonomous('$VAR'('A'))] [pre,'$VAR'('A')] [pre,'over all'(mobile('$VAR'('O')))] [pre,mobile('$VAR'('O'))] [pre,'$VAR'('O')] [pre,'at start'('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [pre,'$VAR'('A')] [pre,'$VAR'('O')] [pre,'at start'(location('$VAR'('A'),'$VAR'('L')))] [pre,location('$VAR'('A'),'$VAR'('L'))] [pre,'$VAR'('A')] [pre,'$VAR'('L')] [pre,'at start'(location('$VAR'('O'),'$VAR'('L')))] [pre,location('$VAR'('O'),'$VAR'('L'))] [pre,'$VAR'('O')] [pre,'$VAR'('L')] [pre,'at start'(location('$VAR'('C'),'$VAR'('L')))] [pre,location('$VAR'('C'),'$VAR'('L'))] [pre,'$VAR'('C')] [pre,'$VAR'('L')] [pre,'at start'(not(contains('$VAR'('C'),'$VAR'('O'))))] [pre,not(contains('$VAR'('C'),'$VAR'('O')))] [pre,contains('$VAR'('C'),'$VAR'('O'))] [pre,'$VAR'('C')] [pre,'$VAR'('O')] [pre,[and,'at end'(contains('$VAR'('C'),'$VAR'('O'))),'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))]] [pre,and] [pre,'at end'(contains('$VAR'('C'),'$VAR'('O')))] [pre,contains('$VAR'('C'),'$VAR'('O'))] [pre,'$VAR'('C')] [pre,'$VAR'('O')] [pre,'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))] [pre,not('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pre,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [pre,'$VAR'('A')] [pre,'$VAR'('O')] [tmpAction,durativeAction(drive,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('V')],vehicle),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('driving-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('V'))),'at start'(location('$VAR'('A'),'$VAR'('L0'))),'at start'(location('$VAR'('V'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(not(location('$VAR'('V'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1'))),'at end'(location('$VAR'('V'),'$VAR'('L1')))])] [pre,'over all'('driving-p'('$VAR'('M')))] [pre,'driving-p'('$VAR'('M'))] [pre,'$VAR'('M')] [pre,'M'] [preA,'over all'('driving-p'('$VAR'('M')))] [preA,'over all'] [preA,'driving-p'('$VAR'('M'))] [preA,'driving-p'] [preA,'$VAR'('M')] [preA,'$VAR'] [preA,'M'] [newPrecondition,'over all'('driving-p'('$VAR'('M')))] [pre,'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')))] [pre,'travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))] [pre,'$VAR'('M')] [pre,'M'] [pre,'$VAR'('L0')] [pre,'L0'] [pre,'$VAR'('L1')] [pre,'L1'] [preA,'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')))] [preA,'over all'] [preA,'travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))] [preA,'travel-path'] [preA,'$VAR'('M')] [preA,'$VAR'] [preA,'M'] [preA,'$VAR'('L0')] [preA,'$VAR'] [preA,'L0'] [preA,'$VAR'('L1')] [preA,'$VAR'] [preA,'L1'] [newPrecondition,'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')))] [pre,'over all'(autonomous('$VAR'('A')))] [pre,autonomous('$VAR'('A'))] [pre,'$VAR'('A')] [pre,'A'] [preA,'over all'(autonomous('$VAR'('A')))] [preA,'over all'] [preA,autonomous('$VAR'('A'))] [preA,autonomous] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [newPrecondition,'over all'(autonomous('$VAR'('A')))] [pre,'over all'(mobile('$VAR'('V')))] [pre,mobile('$VAR'('V'))] [pre,'$VAR'('V')] [pre,'V'] [preA,'over all'(mobile('$VAR'('V')))] [preA,'over all'] [preA,mobile('$VAR'('V'))] [preA,mobile] [preA,'$VAR'('V')] [preA,'$VAR'] [preA,'V'] [newPrecondition,'over all'(mobile('$VAR'('V')))] [pre,'at start'(location('$VAR'('A'),'$VAR'('L0')))] [pre,location('$VAR'('A'),'$VAR'('L0'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('L0')] [pre,'L0'] [preA,'at start'(location('$VAR'('A'),'$VAR'('L0')))] [preA,'at start'] [preA,location('$VAR'('A'),'$VAR'('L0'))] [preA,location] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('L0')] [preA,'$VAR'] [preA,'L0'] [newPrecondition,'at start'(location('$VAR'('A'),'$VAR'('L0')))] [pre,'at start'(location('$VAR'('V'),'$VAR'('L0')))] [pre,location('$VAR'('V'),'$VAR'('L0'))] [pre,'$VAR'('V')] [pre,'V'] [pre,'$VAR'('L0')] [pre,'L0'] [preA,'at start'(location('$VAR'('V'),'$VAR'('L0')))] [preA,'at start'] [preA,location('$VAR'('V'),'$VAR'('L0'))] [preA,location] [preA,'$VAR'('V')] [preA,'$VAR'] [preA,'V'] [preA,'$VAR'('L0')] [preA,'$VAR'] [preA,'L0'] [newPrecondition,'at start'(location('$VAR'('V'),'$VAR'('L0')))] [effect,'at end'(not(location('$VAR'('A'),'$VAR'('L0'))))] [op,'at end',args,[not(location('$VAR'('A'),'$VAR'('L0')))]] [newargs,not(location('$VAR'('A'),'$VAR'('L0')))] [pre,'at end'(not(location('$VAR'('A'),'$VAR'('L0'))))] [pre,not(location('$VAR'('A'),'$VAR'('L0')))] [pre,location('$VAR'('A'),'$VAR'('L0'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('L0')] [pre,'L0'] [preA,'at end'(not(location('$VAR'('A'),'$VAR'('L0'))))] [preA,'at end'] [preA,not(location('$VAR'('A'),'$VAR'('L0')))] [preA,not] [preA,location('$VAR'('A'),'$VAR'('L0'))] [preA,location] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('L0')] [preA,'$VAR'] [preA,'L0'] [neweffect,'at end'(not(location('$VAR'('A'),'$VAR'('L0'))))] [effect,'at end'(not(location('$VAR'('V'),'$VAR'('L0'))))] [op,'at end',args,[not(location('$VAR'('V'),'$VAR'('L0')))]] [newargs,not(location('$VAR'('V'),'$VAR'('L0')))] [pre,'at end'(not(location('$VAR'('V'),'$VAR'('L0'))))] [pre,not(location('$VAR'('V'),'$VAR'('L0')))] [pre,location('$VAR'('V'),'$VAR'('L0'))] [pre,'$VAR'('V')] [pre,'V'] [pre,'$VAR'('L0')] [pre,'L0'] [preA,'at end'(not(location('$VAR'('V'),'$VAR'('L0'))))] [preA,'at end'] [preA,not(location('$VAR'('V'),'$VAR'('L0')))] [preA,not] [preA,location('$VAR'('V'),'$VAR'('L0'))] [preA,location] [preA,'$VAR'('V')] [preA,'$VAR'] [preA,'V'] [preA,'$VAR'('L0')] [preA,'$VAR'] [preA,'L0'] [neweffect,'at end'(not(location('$VAR'('V'),'$VAR'('L0'))))] [effect,'at end'(location('$VAR'('A'),'$VAR'('L1')))] [op,'at end',args,[location('$VAR'('A'),'$VAR'('L1'))]] [newargs,location('$VAR'('A'),'$VAR'('L1'))] [pre,'at end'(location('$VAR'('A'),'$VAR'('L1')))] [pre,location('$VAR'('A'),'$VAR'('L1'))] [pre,'$VAR'('A')] [pre,'A'] [pre,'$VAR'('L1')] [pre,'L1'] [preA,'at end'(location('$VAR'('A'),'$VAR'('L1')))] [preA,'at end'] [preA,location('$VAR'('A'),'$VAR'('L1'))] [preA,location] [preA,'$VAR'('A')] [preA,'$VAR'] [preA,'A'] [preA,'$VAR'('L1')] [preA,'$VAR'] [preA,'L1'] [neweffect,'at end'(location('$VAR'('A'),'$VAR'('L1')))] [effect,'at end'(location('$VAR'('V'),'$VAR'('L1')))] [op,'at end',args,[location('$VAR'('V'),'$VAR'('L1'))]] [newargs,location('$VAR'('V'),'$VAR'('L1'))] [pre,'at end'(location('$VAR'('V'),'$VAR'('L1')))] [pre,location('$VAR'('V'),'$VAR'('L1'))] [pre,'$VAR'('V')] [pre,'V'] [pre,'$VAR'('L1')] [pre,'L1'] [preA,'at end'(location('$VAR'('V'),'$VAR'('L1')))] [preA,'at end'] [preA,location('$VAR'('V'),'$VAR'('L1'))] [preA,location] [preA,'$VAR'('V')] [preA,'$VAR'] [preA,'V'] [preA,'$VAR'('L1')] [preA,'$VAR'] [preA,'L1'] [neweffect,'at end'(location('$VAR'('V'),'$VAR'('L1')))] [actionName,drive,variables,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('V')],vehicle),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],duration,'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),preconditions,['over all'('driving-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('V'))),'at start'(location('$VAR'('A'),'$VAR'('L0'))),'at start'(location('$VAR'('V'),'$VAR'('L0')))],effects,['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(not(location('$VAR'('V'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1'))),'at end'(location('$VAR'('V'),'$VAR'('L1')))]] [type,intelligentAgent,variables,['$VAR'('A')]] [type,vehicle,variables,['$VAR'('V')]] [type,physicalLocation,variables,['$VAR'('L0'),'$VAR'('L1')]] [type,modeOfTransportation,variables,['$VAR'('M')]] [pre,'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))] [pre,'$VAR'('M')] [pre,'$VAR'('L0')] [pre,'$VAR'('L1')] [pre,[and,'over all'('driving-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('V'))),'at start'(location('$VAR'('A'),'$VAR'('L0'))),'at start'(location('$VAR'('V'),'$VAR'('L0')))]] [pre,and] [pre,'over all'('driving-p'('$VAR'('M')))] [pre,'driving-p'('$VAR'('M'))] [pre,'$VAR'('M')] [pre,'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')))] [pre,'travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))] [pre,'$VAR'('M')] [pre,'$VAR'('L0')] [pre,'$VAR'('L1')] [pre,'over all'(autonomous('$VAR'('A')))] [pre,autonomous('$VAR'('A'))] [pre,'$VAR'('A')] [pre,'over all'(mobile('$VAR'('V')))] [pre,mobile('$VAR'('V'))] [pre,'$VAR'('V')] [pre,'at start'(location('$VAR'('A'),'$VAR'('L0')))] [pre,location('$VAR'('A'),'$VAR'('L0'))] [pre,'$VAR'('A')] [pre,'$VAR'('L0')] [pre,'at start'(location('$VAR'('V'),'$VAR'('L0')))] [pre,location('$VAR'('V'),'$VAR'('L0'))] [pre,'$VAR'('V')] [pre,'$VAR'('L0')] [pre,[and,'at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(not(location('$VAR'('V'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1'))),'at end'(location('$VAR'('V'),'$VAR'('L1')))]] [pre,and] [pre,'at end'(not(location('$VAR'('A'),'$VAR'('L0'))))] [pre,not(location('$VAR'('A'),'$VAR'('L0')))] [pre,location('$VAR'('A'),'$VAR'('L0'))] [pre,'$VAR'('A')] [pre,'$VAR'('L0')] [pre,'at end'(not(location('$VAR'('V'),'$VAR'('L0'))))] [pre,not(location('$VAR'('V'),'$VAR'('L0')))] [pre,location('$VAR'('V'),'$VAR'('L0'))] [pre,'$VAR'('V')] [pre,'$VAR'('L0')] [pre,'at end'(location('$VAR'('A'),'$VAR'('L1')))] [pre,location('$VAR'('A'),'$VAR'('L1'))] [pre,'$VAR'('A')] [pre,'$VAR'('L1')] [pre,'at end'(location('$VAR'('V'),'$VAR'('L1')))] [pre,location('$VAR'('V'),'$VAR'('L1'))] [pre,'$VAR'('V')] [pre,'$VAR'('L1')] [actions,[':durative-action'(walk,':parameters',['?A',-,intelligentAgent,'?L0','?L1',-,physicalLocation,'?M',-,modeOfTransportation],':duration',[=,'?duration','travel-duration'('?M','?L0','?L1')],':condition',[and,'over all'('walking-p'('?M')),'over all'('travel-path'('?M','?L0','?L1')),'over all'(autonomous('?A')),'at start'(location('?A','?L0'))],':effect',[and,'at end'(not(location('?A','?L0'))),'at end'(location('?A','?L1'))]),':durative-action'('pick-up',':parameters',['?A',-,intelligentAgent,'?O',-,object,'?L',-,physicalLocation],':duration',[=,'?duration',0],':condition',[and,'over all'(autonomous('?A')),'over all'(mobile('?O')),'at start'(not('directly-holding'('?A','?O'))),'at start'(location('?A','?L')),'at start'(location('?O','?L'))],':effect',[and,'at end'('directly-holding'('?A','?O'))]),':durative-action'('set-down',':parameters',['?A',-,intelligentAgent,'?O',-,object,'?L',-,physicalLocation],':duration',[=,'?duration',0],':condition',[and,'over all'(autonomous('?A')),'over all'(mobile('?O')),'at start'('directly-holding'('?A','?O')),'at start'(location('?A','?L'))],':effect',[and,'at end'(location('?O','?L')),'at end'(not('directly-holding'('?A','?O')))]),':durative-action'(carry,':parameters',['?A',-,intelligentAgent,'?O',-,object,'?L0','?L1',-,physicalLocation,'?M',-,modeOfTransportation],':duration',[=,'?duration','travel-duration'('?M','?L0','?L1')],':condition',[and,'over all'('walking-p'('?M')),'over all'('travel-path'('?M','?L0','?L1')),'over all'(autonomous('?A')),'over all'(mobile('?O')),'over all'('directly-holding'('?A','?O')),'at start'(location('?A','?L0')),'at start'(location('?O','?L0'))],':effect',[and,'at end'(not(location('?A','?L0'))),'at end'(not(location('?O','?L0'))),'at end'(location('?A','?L1')),'at end'(location('?O','?L1'))]),':durative-action'('place-into',':parameters',['?A',-,intelligentAgent,'?O',-,object,'?C',-,container,'?L',-,physicalLocation],':duration',[=,'?duration',0],':condition',[and,'over all'(autonomous('?A')),'over all'(mobile('?O')),'at start'('directly-holding'('?A','?O')),'at start'(location('?A','?L')),'at start'(location('?O','?L')),'at start'(location('?C','?L')),'at start'(not(contains('?C','?O')))],':effect',[and,'at end'(contains('?C','?O')),'at end'(not('directly-holding'('?A','?O')))]),':durative-action'(drive,':parameters',['?A',-,intelligentAgent,'?V',-,vehicle,'?L0','?L1',-,physicalLocation,'?M',-,modeOfTransportation],':duration',[=,'?duration','travel-duration'('?M','?L0','?L1')],':condition',[and,'over all'('driving-p'('?M')),'over all'('travel-path'('?M','?L0','?L1')),'over all'(autonomous('?A')),'over all'(mobile('?V')),'at start'(location('?A','?L0')),'at start'(location('?V','?L0'))],':effect',[and,'at end'(not(location('?A','?L0'))),'at end'(not(location('?V','?L0'))),'at end'(location('?A','?L1')),'at end'(location('?V','?L1'))])]] [argumentList,[domain(flp),[':requirements',':negative-preconditions',':conditional-effects',':equality',':typing',':fluents',':durative-actions',':derived-predicates'],[':types',intelligentAgent,residence,vehicle,tool,container,-,object,modeOfTransportation,-,category,object,physicalLocation,-,thing,person,-,intelligentAgent,residence,-,physicalLocation,vehicle,-,container],[':predicates',[autonomous,'?A',-,intelligentAgent],[location,'?O',-,object,'?L',-,physicalLocation],[contains,'?C',-,container,'?O',-,object],[mobile,'?Ob',-,object],['directly-holding','?A',-,intelligentAgent,'?O',-,object],['travel-path','?M',-,modeOfTransportation,'?L0','?L1',-,physicalLocation],['driving-p','?M',-,modeOfTransportation],['walking-p','?M',-,modeOfTransportation]],[':functions',['travel-distance','?M',-,modeOfTransportation,'?L0','?L1',-,physicalLocation],['travel-duration','?M',-,modeOfTransportation,'?L0','?L1',-,physicalLocation]],':durative-action'(walk,':parameters',['?A',-,intelligentAgent,'?L0','?L1',-,physicalLocation,'?M',-,modeOfTransportation],':duration',[=,'?duration','travel-duration'('?M','?L0','?L1')],':condition',[and,'over all'('walking-p'('?M')),'over all'('travel-path'('?M','?L0','?L1')),'over all'(autonomous('?A')),'at start'(location('?A','?L0'))],':effect',[and,'at end'(not(location('?A','?L0'))),'at end'(location('?A','?L1'))]),':durative-action'('pick-up',':parameters',['?A',-,intelligentAgent,'?O',-,object,'?L',-,physicalLocation],':duration',[=,'?duration',0],':condition',[and,'over all'(autonomous('?A')),'over all'(mobile('?O')),'at start'(not('directly-holding'('?A','?O'))),'at start'(location('?A','?L')),'at start'(location('?O','?L'))],':effect',[and,'at end'('directly-holding'('?A','?O'))]),':durative-action'('set-down',':parameters',['?A',-,intelligentAgent,'?O',-,object,'?L',-,physicalLocation],':duration',[=,'?duration',0],':condition',[and,'over all'(autonomous('?A')),'over all'(mobile('?O')),'at start'('directly-holding'('?A','?O')),'at start'(location('?A','?L'))],':effect',[and,'at end'(location('?O','?L')),'at end'(not('directly-holding'('?A','?O')))]),':durative-action'(carry,':parameters',['?A',-,intelligentAgent,'?O',-,object,'?L0','?L1',-,physicalLocation,'?M',-,modeOfTransportation],':duration',[=,'?duration','travel-duration'('?M','?L0','?L1')],':condition',[and,'over all'('walking-p'('?M')),'over all'('travel-path'('?M','?L0','?L1')),'over all'(autonomous('?A')),'over all'(mobile('?O')),'over all'('directly-holding'('?A','?O')),'at start'(location('?A','?L0')),'at start'(location('?O','?L0'))],':effect',[and,'at end'(not(location('?A','?L0'))),'at end'(not(location('?O','?L0'))),'at end'(location('?A','?L1')),'at end'(location('?O','?L1'))]),':durative-action'('place-into',':parameters',['?A',-,intelligentAgent,'?O',-,object,'?C',-,container,'?L',-,physicalLocation],':duration',[=,'?duration',0],':condition',[and,'over all'(autonomous('?A')),'over all'(mobile('?O')),'at start'('directly-holding'('?A','?O')),'at start'(location('?A','?L')),'at start'(location('?O','?L')),'at start'(location('?C','?L')),'at start'(not(contains('?C','?O')))],':effect',[and,'at end'(contains('?C','?O')),'at end'(not('directly-holding'('?A','?O')))]),':durative-action'(drive,':parameters',['?A',-,intelligentAgent,'?V',-,vehicle,'?L0','?L1',-,physicalLocation,'?M',-,modeOfTransportation],':duration',[=,'?duration','travel-duration'('?M','?L0','?L1')],':condition',[and,'over all'('driving-p'('?M')),'over all'('travel-path'('?M','?L0','?L1')),'over all'(autonomous('?A')),'over all'(mobile('?V')),'at start'(location('?A','?L0')),'at start'(location('?V','?L0'))],':effect',[and,'at end'(not(location('?A','?L0'))),'at end'(not(location('?V','?L0'))),'at end'(location('?A','?L1')),'at end'(location('?V','?L1'))])]] [displayingResult] (define (domain flp) (:requirements :negative-preconditions :conditional-effects :equality :typing :fluents :durative-actions :derived-predicates) (:types intelligentAgent residence vehicle tool container - object modeOfTransportation - category object physicalLocation - thing person - intelligentAgent residence - physicalLocation vehicle - container) (:predicates (autonomous ?A - intelligentAgent) (location ?O - object ?L - physicalLocation) (contains ?C - container ?O - object) (mobile ?Ob - object) (directly-holding ?A - intelligentAgent ?O - object) (travel-path ?M - modeOfTransportation ?L0 ?L1 - physicalLocation) (driving-p ?M - modeOfTransportation) (walking-p ?M - modeOfTransportation)) (:functions (travel-distance ?M - modeOfTransportation ?L0 ?L1 - physicalLocation) (travel-duration ?M - modeOfTransportation ?L0 ?L1 - physicalLocation)) (:durative-action walk :parameters (?A - intelligentAgent ?L0 ?L1 - physicalLocation ?M - modeOfTransportation) :duration (= ?duration (travel-duration ?M ?L0 ?L1)) :condition (and (over all (walking-p ?M)) (over all (travel-path ?M ?L0 ?L1)) (over all (autonomous ?A)) (at start (location ?A ?L0))) :effect (and (at end (not (location ?A ?L0))) (at end (location ?A ?L1)))) (:durative-action pick-up :parameters (?A - intelligentAgent ?O - object ?L - physicalLocation) :duration (= ?duration 0) :condition (and (over all (autonomous ?A)) (over all (mobile ?O)) (at start (not (directly-holding ?A ?O))) (at start (location ?A ?L)) (at start (location ?O ?L))) :effect (and (at end (directly-holding ?A ?O)))) (:durative-action set-down :parameters (?A - intelligentAgent ?O - object ?L - physicalLocation) :duration (= ?duration 0) :condition (and (over all (autonomous ?A)) (over all (mobile ?O)) (at start (directly-holding ?A ?O)) (at start (location ?A ?L))) :effect (and (at end (location ?O ?L)) (at end (not (directly-holding ?A ?O))))) (:durative-action carry :parameters (?A - intelligentAgent ?O - object ?L0 ?L1 - physicalLocation ?M - modeOfTransportation) :duration (= ?duration (travel-duration ?M ?L0 ?L1)) :condition (and (over all (walking-p ?M)) (over all (travel-path ?M ?L0 ?L1)) (over all (autonomous ?A)) (over all (mobile ?O)) (over all (directly-holding ?A ?O)) (at start (location ?A ?L0)) (at start (location ?O ?L0))) :effect (and (at end (not (location ?A ?L0))) (at end (not (location ?O ?L0))) (at end (location ?A ?L1)) (at end (location ?O ?L1)))) (:durative-action place-into :parameters (?A - intelligentAgent ?O - object ?C - container ?L - physicalLocation) :duration (= ?duration 0) :condition (and (over all (autonomous ?A)) (over all (mobile ?O)) (at start (directly-holding ?A ?O)) (at start (location ?A ?L)) (at start (location ?O ?L)) (at start (location ?C ?L)) (at start (not (contains ?C ?O)))) :effect (and (at end (contains ?C ?O)) (at end (not (directly-holding ?A ?O))))) (:durative-action drive :parameters (?A - intelligentAgent ?V - vehicle ?L0 ?L1 - physicalLocation ?M - modeOfTransportation) :duration (= ?duration (travel-duration ?M ?L0 ?L1)) :condition (and (over all (driving-p ?M)) (over all (travel-path ?M ?L0 ?L1)) (over all (autonomous ?A)) (over all (mobile ?V)) (at start (location ?A ?L0)) (at start (location ?V ?L0))) :effect (and (at end (not (location ?A ?L0))) (at end (not (location ?V ?L0))) (at end (location ?A ?L1)) (at end (location ?V ?L1))))) [problemItems,[flp1,flp,[driving,walking,-,modeOfTransportation,bluetoothKeyboard,tissues,-,object,andrewDougherty,meredithMcGhan,-,person,auroraIllinois,flintMichigan,-,physicalLocation,townhomeOfEleanorAndAndrewAndMeredith,-,residence,bluetoothKeyboard,-,tool,andrewDoughertysHypotheticalCar,meredithMcGhansCar,-,vehicle],[autonomous(andrewDougherty),autonomous(meredithMcGhan),location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith),location(andrewDoughertysHypotheticalCar,auroraIllinois),location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith),location(meredithMcGhan,flintMichigan),location(meredithMcGhansCar,flintMichigan),mobile(andrewDoughertysHypotheticalCar),mobile(bluetoothKeyboard),mobile(meredithMcGhansCar),'travel-path'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'travel-path'(driving,flintMichigan,auroraIllinois),'travel-distance'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith)='5','travel-distance'(driving,flintMichigan,auroraIllinois)='500','travel-duration'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith)='0.15','travel-duration'(driving,flintMichigan,auroraIllinois)='7'],['directly-holding'(andrewDougherty,bluetoothKeyboard)]]] [tmpObjects,[driving,walking,-,modeOfTransportation,bluetoothKeyboard,tissues,-,object,andrewDougherty,meredithMcGhan,-,person,auroraIllinois,flintMichigan,-,physicalLocation,townhomeOfEleanorAndAndrewAndMeredith,-,residence,bluetoothKeyboard,-,tool,andrewDoughertysHypotheticalCar,meredithMcGhansCar,-,vehicle]] [objects,[':objects',driving,walking,-,modeOfTransportation,bluetoothKeyboard,tissues,-,object,andrewDougherty,meredithMcGhan,-,person,auroraIllinois,flintMichigan,-,physicalLocation,townhomeOfEleanorAndAndrewAndMeredith,-,residence,bluetoothKeyboard,-,tool,andrewDoughertysHypotheticalCar,meredithMcGhansCar,-,vehicle]] [tmpInit,[autonomous(andrewDougherty),autonomous(meredithMcGhan),location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith),location(andrewDoughertysHypotheticalCar,auroraIllinois),location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith),location(meredithMcGhan,flintMichigan),location(meredithMcGhansCar,flintMichigan),mobile(andrewDoughertysHypotheticalCar),mobile(bluetoothKeyboard),mobile(meredithMcGhansCar),'travel-path'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'travel-path'(driving,flintMichigan,auroraIllinois),'travel-distance'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith)='5','travel-distance'(driving,flintMichigan,auroraIllinois)='500','travel-duration'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith)='0.15','travel-duration'(driving,flintMichigan,auroraIllinois)='7']] [init,[':init',autonomous(andrewDougherty),autonomous(meredithMcGhan),location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith),location(andrewDoughertysHypotheticalCar,auroraIllinois),location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith),location(meredithMcGhan,flintMichigan),location(meredithMcGhansCar,flintMichigan),mobile(andrewDoughertysHypotheticalCar),mobile(bluetoothKeyboard),mobile(meredithMcGhansCar),'travel-path'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'travel-path'(driving,flintMichigan,auroraIllinois),'travel-distance'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith)='5','travel-distance'(driving,flintMichigan,auroraIllinois)='500','travel-duration'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith)='0.15','travel-duration'(driving,flintMichigan,auroraIllinois)='7']] [tmpGoal,['directly-holding'(andrewDougherty,bluetoothKeyboard)]] [goal,[':goal',[and,'directly-holding'(andrewDougherty,bluetoothKeyboard)]]] [metric,':metric'(minimize,'total-time'())] [displayingResult] (define (problem flp1) (:domain flp) (:objects driving walking - modeOfTransportation bluetoothKeyboard tissues - object andrewDougherty meredithMcGhan - person auroraIllinois flintMichigan - physicalLocation townhomeOfEleanorAndAndrewAndMeredith - residence bluetoothKeyboard - tool andrewDoughertysHypotheticalCar meredithMcGhansCar - vehicle) (:init (autonomous andrewDougherty) (autonomous meredithMcGhan) (location andrewDougherty townhomeOfEleanorAndAndrewAndMeredith) (location andrewDoughertysHypotheticalCar auroraIllinois) (location bluetoothKeyboard townhomeOfEleanorAndAndrewAndMeredith) (location meredithMcGhan flintMichigan) (location meredithMcGhansCar flintMichigan) (mobile andrewDoughertysHypotheticalCar) (mobile bluetoothKeyboard) (mobile meredithMcGhansCar) (travel-path driving auroraIllinois townhomeOfEleanorAndAndrewAndMeredith) (travel-path driving flintMichigan auroraIllinois) (= (travel-distance driving auroraIllinois townhomeOfEleanorAndAndrewAndMeredith) 5) (= (travel-distance driving flintMichigan auroraIllinois) 500) (= (travel-duration driving auroraIllinois townhomeOfEleanorAndAndrewAndMeredith) 0.15) (= (travel-duration driving flintMichigan auroraIllinois) 7)) (:goal (and (directly-holding andrewDougherty bluetoothKeyboard))) (:metric minimize (total-time))) [input(_3514),inputType('Prolog'),outputType('KIF String'),results(_48638)] [displayingResult] _48638 [results334,[domainResults('(define\n (domain flp)\n (:requirements :negative-preconditions :conditional-effects :equality :typing :fluents :durative-actions :derived-predicates)\n (:types intelligentAgent residence vehicle tool container - object modeOfTransportation - category object physicalLocation - thing person - intelligentAgent residence - physicalLocation vehicle - container)\n (:predicates\n (autonomous ?A - intelligentAgent)\n (location ?O - object ?L - physicalLocation)\n (contains ?C - container ?O - object)\n (mobile ?Ob - object)\n (directly-holding ?A - intelligentAgent ?O - object)\n (travel-path ?M - modeOfTransportation ?L0 ?L1 - physicalLocation)\n (driving-p ?M - modeOfTransportation)\n (walking-p ?M - modeOfTransportation))\n (:functions\n (travel-distance ?M - modeOfTransportation ?L0 ?L1 - physicalLocation)\n (travel-duration ?M - modeOfTransportation ?L0 ?L1 - physicalLocation))\n (:durative-action walk :parameters\n (?A - intelligentAgent ?L0 ?L1 - physicalLocation ?M - modeOfTransportation) :duration\n (= ?duration (travel-duration ?M ?L0 ?L1)) :condition\n (and\n (over all\n (walking-p ?M))\n (over all\n (travel-path ?M ?L0 ?L1))\n (over all\n (autonomous ?A))\n (at start\n (location ?A ?L0))) :effect\n (and\n (at end\n (not\n (location ?A ?L0)))\n (at end\n (location ?A ?L1))))\n (:durative-action pick-up :parameters\n (?A - intelligentAgent ?O - object ?L - physicalLocation) :duration\n (= ?duration 0) :condition\n (and\n (over all\n (autonomous ?A))\n (over all\n (mobile ?O))\n (at start\n (not\n (directly-holding ?A ?O)))\n (at start\n (location ?A ?L))\n (at start\n (location ?O ?L))) :effect\n (and\n (at end\n (directly-holding ?A ?O))))\n (:durative-action set-down :parameters\n (?A - intelligentAgent ?O - object ?L - physicalLocation) :duration\n (= ?duration 0) :condition\n (and\n (over all\n (autonomous ?A))\n (over all\n (mobile ?O))\n (at start\n (directly-holding ?A ?O))\n (at start\n (location ?A ?L))) :effect\n (and\n (at end\n (location ?O ?L))\n (at end\n (not\n (directly-holding ?A ?O)))))\n (:durative-action carry :parameters\n (?A - intelligentAgent ?O - object ?L0 ?L1 - physicalLocation ?M - modeOfTransportation) :duration\n (= ?duration (travel-duration ?M ?L0 ?L1)) :condition\n (and\n (over all\n (walking-p ?M))\n (over all\n (travel-path ?M ?L0 ?L1))\n (over all\n (autonomous ?A))\n (over all\n (mobile ?O))\n (over all\n (directly-holding ?A ?O))\n (at start\n (location ?A ?L0))\n (at start\n (location ?O ?L0))) :effect\n (and\n (at end\n (not\n (location ?A ?L0)))\n (at end\n (not\n (location ?O ?L0)))\n (at end\n (location ?A ?L1))\n (at end\n (location ?O ?L1))))\n (:durative-action place-into :parameters\n (?A - intelligentAgent ?O - object ?C - container ?L - physicalLocation) :duration\n (= ?duration 0) :condition\n (and\n (over all\n (autonomous ?A))\n (over all\n (mobile ?O))\n (at start\n (directly-holding ?A ?O))\n (at start\n (location ?A ?L))\n (at start\n (location ?O ?L))\n (at start\n (location ?C ?L))\n (at start\n (not\n (contains ?C ?O)))) :effect\n (and\n (at end\n (contains ?C ?O))\n (at end\n (not\n (directly-holding ?A ?O)))))\n (:durative-action drive :parameters\n (?A - intelligentAgent ?V - vehicle ?L0 ?L1 - physicalLocation ?M - modeOfTransportation) :duration\n (= ?duration (travel-duration ?M ?L0 ?L1)) :condition\n (and\n (over all\n (driving-p ?M))\n (over all\n (travel-path ?M ?L0 ?L1))\n (over all\n (autonomous ?A))\n (over all\n (mobile ?V))\n (at start\n (location ?A ?L0))\n (at start\n (location ?V ?L0))) :effect\n (and\n (at end\n (not\n (location ?A ?L0)))\n (at end\n (not\n (location ?V ?L0)))\n (at end\n (location ?A ?L1))\n (at end\n (location ?V ?L1)))))'),problemResults('(define\n (problem flp1)\n (:domain flp)\n (:objects driving walking - modeOfTransportation bluetoothKeyboard tissues - object andrewDougherty meredithMcGhan - person auroraIllinois flintMichigan - physicalLocation townhomeOfEleanorAndAndrewAndMeredith - residence bluetoothKeyboard - tool andrewDoughertysHypotheticalCar meredithMcGhansCar - vehicle)\n (:init\n (autonomous andrewDougherty)\n (autonomous meredithMcGhan)\n (location andrewDougherty townhomeOfEleanorAndAndrewAndMeredith)\n (location andrewDoughertysHypotheticalCar auroraIllinois)\n (location bluetoothKeyboard townhomeOfEleanorAndAndrewAndMeredith)\n (location meredithMcGhan flintMichigan)\n (location meredithMcGhansCar flintMichigan)\n (mobile andrewDoughertysHypotheticalCar)\n (mobile bluetoothKeyboard)\n (mobile meredithMcGhansCar)\n (travel-path driving auroraIllinois townhomeOfEleanorAndAndrewAndMeredith)\n (travel-path driving flintMichigan auroraIllinois)\n (= (travel-distance driving auroraIllinois townhomeOfEleanorAndAndrewAndMeredith) 5)\n (= (travel-distance driving flintMichigan auroraIllinois) 500)\n (= (travel-duration driving auroraIllinois townhomeOfEleanorAndAndrewAndMeredith) 0.15)\n (= (travel-duration driving flintMichigan auroraIllinois) 7))\n (:goal\n (and\n (directly-holding andrewDougherty bluetoothKeyboard)))\n (:metric minimize\n (total-time)))'),solution(_72,_48638)]] [worldDomainFile1,'/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/flp/flp.d.pddl',worldProblemFile1,'/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/flp/flp.p.pddl'] [command,'cd /var/lib/myfrdcsa/codebases/internal/verber && ./verber -p LPG -w flp/flp --skip-templates > /var/lib/myfrdcsa/codebases/internal/verber/data-git/plan-generation/verber-output-20180723190546-1.txt 2> /var/lib/myfrdcsa/codebases/internal/verber/data-git/plan-generation/verber-output-20180723190546-2.txt'] [domainPDDLFile,'/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/flp/flp.d.pddl'] [problemPDDLFile,'/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/flp/flp.p.pddl'] [hi] [ho] [solutionFile,'/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/flp/flp.p.pddl.LPG.sol'] [command,'trim.pl -f /var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/flp/flp.p.pddl.LPG.sol > /var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/flp/flp.p.pddl.LPG.sol.filtered'] [parseSolutionList,['0','.','0003',:,'(','PICK-UP','ANDREWDOUGHERTY','BLUETOOTHKEYBOARD','TOWNHOMEOFELEANORANDANDREWANDMEREDITH',')','0','.','0000']] [ho1] [ho2] [ho3] [he] [ha] [capsule,parsed] [a,andrewDougherty] [atom,andrewDougherty,word,[97,110,100,114,101,119],atomLength,15,wordLength,6] [input,andrewDougherty,word,[97,110,100,114,101,119],new,'Dougherty'] [atom,'Dougherty',word,[68,111,117,103,104,101,114,116,121],atomLength,9,wordLength,9] [input,'Dougherty',word,[68,111,117,103,104,101,114,116,121],new,''] [list,[[97,110,100,114,101,119],[68,111,117,103,104,101,114,116,121]]] [words,['Andrew','Dougherty']] [atom,bluetoothKeyboard,word,[98,108,117,101,116,111,111,116,104],atomLength,17,wordLength,9] [input,bluetoothKeyboard,word,[98,108,117,101,116,111,111,116,104],new,'Keyboard'] [atom,'Keyboard',word,[75,101,121,98,111,97,114,100],atomLength,8,wordLength,8] [input,'Keyboard',word,[75,101,121,98,111,97,114,100],new,''] [list,[[98,108,117,101,116,111,111,116,104],[75,101,121,98,111,97,114,100]]] [words,['Bluetooth','Keyboard']] [sentence,[the,'Andrew Dougherty',is,directly,holding,'Bluetooth Keyboard']] [transformGoal,'the Andrew Dougherty is directly holding Bluetooth Keyboard'] [a] [a] [a] [a] [a] [c] [b] [b] [b] [b] [b] [1] [written,'Andrew should pick up the Bluetooth keyboard in the Townhome'] [verb,[verbFile('/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/flp/flp.metadata.pl'),verb([verber(domain(flp),problem(flp1),includes([]),startDate([2017-4-20,15:15:0]),units([0-0-0,1:0:0]))])]] [specs,['pick-up',_9704,0.0,_9716,_9722]] 1 [domain,domain(flp,['negative-preconditions','conditional-effects',equality,typing,fluents,'durative-actions','derived-predicates'],[genls([intelligentAgent,residence,vehicle,tool,container],object),genls([modeOfTransportation],category),genls([object,physicalLocation],thing),genls([person],intelligentAgent),genls([residence],physicalLocation),genls([vehicle],container)],[autonomous(are(['$VAR'('A')],intelligentAgent)),location(are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)),contains(are(['$VAR'('C')],container),are(['$VAR'('O')],object)),mobile(are(['$VAR'('Ob')],object)),'directly-holding'(are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object)),'travel-path'(are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)),'driving-p'(are(['$VAR'('M')],modeOfTransportation)),'walking-p'(are(['$VAR'('M')],modeOfTransportation))],[f('travel-distance',[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)]),f('travel-duration',[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)])],[durativeAction(walk,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('walking-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'at start'(location('$VAR'('A'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1')))]),durativeAction('pick-up',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'(not('directly-holding'('$VAR'('A'),'$VAR'('O')))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L')))],['at end'('directly-holding'('$VAR'('A'),'$VAR'('O')))]),durativeAction('set-down',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L')))],['at end'(location('$VAR'('O'),'$VAR'('L'))),'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))]),durativeAction(carry,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('walking-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'over all'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L0'))),'at start'(location('$VAR'('O'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(not(location('$VAR'('O'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1'))),'at end'(location('$VAR'('O'),'$VAR'('L1')))]),durativeAction('place-into',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('C')],container),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L'))),'at start'(location('$VAR'('C'),'$VAR'('L'))),'at start'(not(contains('$VAR'('C'),'$VAR'('O'))))],['at end'(contains('$VAR'('C'),'$VAR'('O'))),'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))]),durativeAction(drive,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('V')],vehicle),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('driving-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('V'))),'at start'(location('$VAR'('A'),'$VAR'('L0'))),'at start'(location('$VAR'('V'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(not(location('$VAR'('V'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1'))),'at end'(location('$VAR'('V'),'$VAR'('L1')))])])] [2] [calculatePlanTime,calculatePlanTime(flp,flp1,[verber(domain(flp),problem(flp1),includes([]),startDate([2017-4-20,15:15:0]),units([0-0-0,1:0:0]))],0.0003,0.1,_10076,_10078)] 2 [planStepStartTimeSeconds,1] 1 [tmp1,[2017,4,20,15,15,1]] [planStepDurationSeconds,360] [tmp1,[2017,4,20,15,21,1]] [startDateTime,[2017-4-20,15:15:1],startDateTimeGloss,'Thu Apr 20th 2017 at 3:15 PM',endDateTime,[2017-4-20,15:21:1],endDateTimeGloss,'Thu Apr 20th 2017 at 3:21 PM'] [precondition,'over all'(autonomous('$VAR'('A')))] [pairs,[[['$VAR'('A'),intelligentAgent],andrewDougherty],[['$VAR'('O'),object],bluetoothKeyboard],[['$VAR'('L'),physicalLocation],townhomeOfEleanorAndAndrewAndMeredith]]] [preGd,autonomous('$VAR'('A'))] [p,autonomous,a,['$VAR'('A')]] [get_sentence_for_precondition_predicate(autonomous,[andrewDougherty],'over all',_40856)] [index,3] [condition,'over all',index,3,templates,_40940,objectnames,[andrewDougherty]] [sentence,['The','Andrew',must,be,autonomous,for,the,duration,of,the,action]] [pairs,[[['$VAR'('A'),intelligentAgent],andrewDougherty],[['$VAR'('O'),object],bluetoothKeyboard],[['$VAR'('L'),physicalLocation],townhomeOfEleanorAndAndrewAndMeredith]]] [preGd,autonomous('$VAR'('A'))] [p,autonomous,a,['$VAR'('A')]] [verifyPrecondition1,['over all'(autonomous(andrewDougherty)),[2017-4-20,15:15:1],[2017-4-20,15:21:1]]] [atTimeQuery([2017-4-20,15:15:1],autonomous(andrewDougherty)),atTimeQuery([2017-4-20,15:21:1],autonomous(andrewDougherty))] [dateTime,[2017-4-20,15:15:1]] [query,autonomous(andrewDougherty)] [findall(atTime(_41786,_41788),(atTime(_41786,_41788),autonomous(andrewDougherty)=_41788,view([query,autonomous(andrewDougherty),query2,_41788,dateTime,[2017-4-20,15:15:1],dateTime2,_41786]),compareTime(>,[2017-4-20,15:15:1],_41786)),_41782)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],autonomous(andrewDougherty))]] [tmpDistinctQueries,[autonomous(andrewDougherty)]] [distinctQueries,[autonomous(andrewDougherty)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],autonomous(andrewDougherty))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],autonomous(andrewDougherty))] [dateTime,[2017-4-20,15:21:1]] [query,autonomous(andrewDougherty)] [findall(atTime(_11588,_11590),(atTime(_11588,_11590),autonomous(andrewDougherty)=_11590,view([query,autonomous(andrewDougherty),query2,_11590,dateTime,[2017-4-20,15:21:1],dateTime2,_11588]),compareTime(>,[2017-4-20,15:21:1],_11588)),_11584)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],autonomous(andrewDougherty))]] [tmpDistinctQueries,[autonomous(andrewDougherty)]] [distinctQueries,[autonomous(andrewDougherty)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],autonomous(andrewDougherty))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],autonomous(andrewDougherty))] [checked,checked] [precondition,'over all'(mobile('$VAR'('O')))] [pairs,[[['$VAR'('A'),intelligentAgent],andrewDougherty],[['$VAR'('O'),object],bluetoothKeyboard],[['$VAR'('L'),physicalLocation],townhomeOfEleanorAndAndrewAndMeredith]]] [preGd,mobile('$VAR'('O'))] [p,mobile,a,['$VAR'('O')]] [get_sentence_for_precondition_predicate(mobile,[bluetoothKeyboard],'over all',_6358)] [index,3] [condition,'over all',index,3,templates,_6442,objectnames,[bluetoothKeyboard]] [sentence,['The','Bluetooth keyboard',must,be,mobile,for,the,duration,of,the,action]] [pairs,[[['$VAR'('A'),intelligentAgent],andrewDougherty],[['$VAR'('O'),object],bluetoothKeyboard],[['$VAR'('L'),physicalLocation],townhomeOfEleanorAndAndrewAndMeredith]]] [preGd,mobile('$VAR'('O'))] [p,mobile,a,['$VAR'('O')]] [verifyPrecondition1,['over all'(mobile(bluetoothKeyboard)),[2017-4-20,15:15:1],[2017-4-20,15:21:1]]] [atTimeQuery([2017-4-20,15:15:1],mobile(bluetoothKeyboard)),atTimeQuery([2017-4-20,15:21:1],mobile(bluetoothKeyboard))] [dateTime,[2017-4-20,15:15:1]] [query,mobile(bluetoothKeyboard)] [findall(atTime(_7228,_7230),(atTime(_7228,_7230),mobile(bluetoothKeyboard)=_7230,view([query,mobile(bluetoothKeyboard),query2,_7230,dateTime,[2017-4-20,15:15:1],dateTime2,_7228]),compareTime(>,[2017-4-20,15:15:1],_7228)),_7224)] [results,[atTime(['2017'-'3'-'26','8':'0':'0'],mobile(bluetoothKeyboard))]] [tmpDistinctQueries,[mobile(bluetoothKeyboard)]] [distinctQueries,[mobile(bluetoothKeyboard)]] [sortedResults,[atTime(['2017'-'3'-'26','8':'0':'0'],mobile(bluetoothKeyboard))]] [result1,atTime(['2017'-'3'-'26','8':'0':'0'],mobile(bluetoothKeyboard))] [dateTime,[2017-4-20,15:21:1]] [query,mobile(bluetoothKeyboard)] [findall(atTime(_6842,_6844),(atTime(_6842,_6844),mobile(bluetoothKeyboard)=_6844,view([query,mobile(bluetoothKeyboard),query2,_6844,dateTime,[2017-4-20,15:21:1],dateTime2,_6842]),compareTime(>,[2017-4-20,15:21:1],_6842)),_6838)] [results,[atTime(['2017'-'3'-'26','8':'0':'0'],mobile(bluetoothKeyboard))]] [tmpDistinctQueries,[mobile(bluetoothKeyboard)]] [distinctQueries,[mobile(bluetoothKeyboard)]] [sortedResults,[atTime(['2017'-'3'-'26','8':'0':'0'],mobile(bluetoothKeyboard))]] [result1,atTime(['2017'-'3'-'26','8':'0':'0'],mobile(bluetoothKeyboard))] [checked,checked] [precondition,'at start'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))] [pairs,[[['$VAR'('A'),intelligentAgent],andrewDougherty],[['$VAR'('O'),object],bluetoothKeyboard],[['$VAR'('L'),physicalLocation],townhomeOfEleanorAndAndrewAndMeredith]]] [preGd,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [p,'directly-holding',a,['$VAR'('A'),'$VAR'('O')]] [get_sentence_for_precondition_predicate('directly-holding',[andrewDougherty,bluetoothKeyboard],'at start',_6374)] [index,1] [condition,'at start',index,1,templates,_6458,objectnames,[andrewDougherty,bluetoothKeyboard]] [sentence,['The','Andrew',must,be,'directly-holding',the,'Bluetooth keyboard']] [pairs,[[['$VAR'('A'),intelligentAgent],andrewDougherty],[['$VAR'('O'),object],bluetoothKeyboard],[['$VAR'('L'),physicalLocation],townhomeOfEleanorAndAndrewAndMeredith]]] [preGd,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [p,'directly-holding',a,['$VAR'('A'),'$VAR'('O')]] [verifyPrecondition1,['at start'('directly-holding'(andrewDougherty,bluetoothKeyboard)),[2017-4-20,15:15:1],[2017-4-20,15:21:1]]] atTimeQuery([2017-4-20,15:15:1],'directly-holding'(andrewDougherty,bluetoothKeyboard)) [dateTime,[2017-4-20,15:15:1]] [query,'directly-holding'(andrewDougherty,bluetoothKeyboard)] [findall(atTime(_7352,_7354),(atTime(_7352,_7354),'directly-holding'(andrewDougherty,bluetoothKeyboard)=_7354,view([query,'directly-holding'(andrewDougherty,bluetoothKeyboard),query2,_7354,dateTime,[2017-4-20,15:15:1],dateTime2,_7352]),compareTime(>,[2017-4-20,15:15:1],_7352)),_7348)] [results,[]] [tmpDistinctQueries,[]] [verifyPrecondition2,['at start'('directly-holding'(andrewDougherty,bluetoothKeyboard)),[2017-4-20,15:15:1],[2017-4-20,15:21:1]]] [checked,''] [precondition,'at start'(location('$VAR'('A'),'$VAR'('L')))] [pairs,[[['$VAR'('A'),intelligentAgent],andrewDougherty],[['$VAR'('O'),object],bluetoothKeyboard],[['$VAR'('L'),physicalLocation],townhomeOfEleanorAndAndrewAndMeredith]]] [preGd,location('$VAR'('A'),'$VAR'('L'))] [p,location,a,['$VAR'('A'),'$VAR'('L')]] [get_sentence_for_precondition_predicate(at,[andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith],'at start',_6370)] [index,1] [condition,'at start',index,1,templates,_6454,objectnames,[andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith]] [sentence,['The','Andrew',must,be,at,the,'Townhome']] [pairs,[[['$VAR'('A'),intelligentAgent],andrewDougherty],[['$VAR'('O'),object],bluetoothKeyboard],[['$VAR'('L'),physicalLocation],townhomeOfEleanorAndAndrewAndMeredith]]] [preGd,location('$VAR'('A'),'$VAR'('L'))] [p,location,a,['$VAR'('A'),'$VAR'('L')]] [verifyPrecondition1,['at start'(location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith)),[2017-4-20,15:15:1],[2017-4-20,15:21:1]]] atTimeQuery([2017-4-20,15:15:1],location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith)) [dateTime,[2017-4-20,15:15:1]] [query,location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith)] [findall(atTime(_7332,_7334),(atTime(_7332,_7334),location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith)=_7334,view([query,location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith),query2,_7334,dateTime,[2017-4-20,15:15:1],dateTime2,_7332]),compareTime(>,[2017-4-20,15:15:1],_7332)),_7328)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith))]] [tmpDistinctQueries,[location(andrewDougherty,blank)]] [distinctQueries,[location(andrewDougherty,blank)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith))] [checked,checked] [precondition,'at start'(location('$VAR'('O'),'$VAR'('L')))] [pairs,[[['$VAR'('A'),intelligentAgent],andrewDougherty],[['$VAR'('O'),object],bluetoothKeyboard],[['$VAR'('L'),physicalLocation],townhomeOfEleanorAndAndrewAndMeredith]]] [preGd,location('$VAR'('O'),'$VAR'('L'))] [p,location,a,['$VAR'('O'),'$VAR'('L')]] [get_sentence_for_precondition_predicate(at,[bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith],'at start',_6370)] [index,1] [condition,'at start',index,1,templates,_6454,objectnames,[bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith]] [sentence,['The','Bluetooth keyboard',must,be,at,the,'Townhome']] [pairs,[[['$VAR'('A'),intelligentAgent],andrewDougherty],[['$VAR'('O'),object],bluetoothKeyboard],[['$VAR'('L'),physicalLocation],townhomeOfEleanorAndAndrewAndMeredith]]] [preGd,location('$VAR'('O'),'$VAR'('L'))] [p,location,a,['$VAR'('O'),'$VAR'('L')]] [verifyPrecondition1,['at start'(location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith)),[2017-4-20,15:15:1],[2017-4-20,15:21:1]]] atTimeQuery([2017-4-20,15:15:1],location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith)) [dateTime,[2017-4-20,15:15:1]] [query,location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith)] [findall(atTime(_7272,_7274),(atTime(_7272,_7274),location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith)=_7274,view([query,location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith),query2,_7274,dateTime,[2017-4-20,15:15:1],dateTime2,_7272]),compareTime(>,[2017-4-20,15:15:1],_7272)),_7268)] [results,[atTime(['2017'-'4'-'15','20':'0':'0.0'],location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith))]] [tmpDistinctQueries,[location(bluetoothKeyboard,blank)]] [distinctQueries,[location(bluetoothKeyboard,blank)]] [sortedResults,[atTime(['2017'-'4'-'15','20':'0':'0.0'],location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith))]] [result1,atTime(['2017'-'4'-'15','20':'0':'0.0'],location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith))] [checked,checked] [effect,'at end'('directly-holding'('$VAR'('A'),'$VAR'('O')))] [pairs,[[['$VAR'('A'),intelligentAgent],andrewDougherty],[['$VAR'('O'),object],bluetoothKeyboard],[['$VAR'('L'),physicalLocation],townhomeOfEleanorAndAndrewAndMeredith]]] [preGd,'directly-holding'('$VAR'('A'),'$VAR'('O'))] [p,'directly-holding',a,['$VAR'('A'),'$VAR'('O')]] [get_sentence_for_precondition_predicate('directly-holding',[andrewDougherty,bluetoothKeyboard],'at end',_6536)] [index,2] [condition,'at end',index,2,templates,_6620,objectnames,[andrewDougherty,bluetoothKeyboard]] [sentence,['The','Andrew',will,be,'directly-holding',the,'Bluetooth keyboard']] [preconditions,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'(not('directly-holding'('$VAR'('A'),'$VAR'('O')))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L')))],effects,['at end'('directly-holding'('$VAR'('A'),'$VAR'('O')))],preconditionDescriptions,[['The Andrew must be autonomous for the duration of the action',checked],['The Bluetooth keyboard must be mobile for the duration of the action',checked],['The Andrew must be directly-holding the Bluetooth keyboard',''],['The Andrew must be at the Townhome',checked],['The Bluetooth keyboard must be at the Townhome',checked]],effectDescriptions,['The Andrew will be directly-holding the Bluetooth keyboard']] [transformed,[[domainFile('/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/flp/flp.d.pddl'),domain(domain(flp,['negative-preconditions','conditional-effects',equality,typing,fluents,'durative-actions','derived-predicates'],[genls([intelligentAgent,residence,vehicle,tool,container],object),genls([modeOfTransportation],category),genls([object,physicalLocation],thing),genls([person],intelligentAgent),genls([residence],physicalLocation),genls([vehicle],container)],[autonomous(are(['$VAR'('A')],intelligentAgent)),location(are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)),contains(are(['$VAR'('C')],container),are(['$VAR'('O')],object)),mobile(are(['$VAR'('Ob')],object)),'directly-holding'(are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object)),'travel-path'(are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)),'driving-p'(are(['$VAR'('M')],modeOfTransportation)),'walking-p'(are(['$VAR'('M')],modeOfTransportation))],[f('travel-distance',[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)]),f('travel-duration',[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)])],[durativeAction(walk,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('walking-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'at start'(location('$VAR'('A'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1')))]),durativeAction('pick-up',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'(not('directly-holding'('$VAR'('A'),'$VAR'('O')))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L')))],['at end'('directly-holding'('$VAR'('A'),'$VAR'('O')))]),durativeAction('set-down',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L')))],['at end'(location('$VAR'('O'),'$VAR'('L'))),'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))]),durativeAction(carry,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('walking-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'over all'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L0'))),'at start'(location('$VAR'('O'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(not(location('$VAR'('O'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1'))),'at end'(location('$VAR'('O'),'$VAR'('L1')))]),durativeAction('place-into',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('C')],container),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L'))),'at start'(location('$VAR'('C'),'$VAR'('L'))),'at start'(not(contains('$VAR'('C'),'$VAR'('O'))))],['at end'(contains('$VAR'('C'),'$VAR'('O'))),'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))]),durativeAction(drive,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('V')],vehicle),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('driving-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('V'))),'at start'(location('$VAR'('A'),'$VAR'('L0'))),'at start'(location('$VAR'('V'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(not(location('$VAR'('V'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1'))),'at end'(location('$VAR'('V'),'$VAR'('L1')))])])),problemFile('/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/flp/flp.p.pddl'),problem(problem(flp1,flp,[are([driving,walking,-,modeOfTransportation,bluetoothKeyboard,tissues,-,object,andrewDougherty,meredithMcGhan,-,person,auroraIllinois,flintMichigan,-,physicalLocation,townhomeOfEleanorAndAndrewAndMeredith,-,residence,bluetoothKeyboard,-,tool,andrewDoughertysHypotheticalCar,meredithMcGhansCar],vehicle)],[autonomous(andrewDougherty),autonomous(meredithMcGhan),location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith),location(andrewDoughertysHypotheticalCar,auroraIllinois),location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith),location(meredithMcGhan,flintMichigan),location(meredithMcGhansCar,flintMichigan),mobile(andrewDoughertysHypotheticalCar),mobile(bluetoothKeyboard),mobile(meredithMcGhansCar),'travel-path'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'travel-path'(driving,flintMichigan,auroraIllinois),set('travel-distance'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),5),set('travel-distance'(driving,flintMichigan,auroraIllinois),500),set('travel-duration'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),0.15),set('travel-duration'(driving,flintMichigan,auroraIllinois),7)],['directly-holding'(andrewDougherty,bluetoothKeyboard)],metric(minimize,'total-time'))),solutionFile('/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/flp/flp.p.pddl.LPG.sol'),solution(solution([[0.0003,'pick-up',[andrewDougherty,bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith],0.0]])),verbFile('/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/flp/flp.metadata.pl'),verb([verber(domain(flp),problem(flp1),includes([]),startDate([2017-4-20,15:15:0]),units([0-0-0,1:0:0]))])],[['directly-holding'(andrewDougherty,bluetoothKeyboard),'the Andrew Dougherty is directly holding Bluetooth Keyboard']],[[0,[0.0003,['pick-up',andrewDougherty,bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith],0.0,['Andrew should pick up the Bluetooth keyboard in the Townhome','pick up the Bluetooth keyboard in the Townhome'],[[['The Andrew must be autonomous for the duration of the action',checked],['The Bluetooth keyboard must be mobile for the duration of the action',checked],['The Andrew must be directly-holding the Bluetooth keyboard',''],['The Andrew must be at the Townhome',checked],['The Bluetooth keyboard must be at the Townhome',checked]],['The Andrew will be directly-holding the Bluetooth keyboard'],[2017-4-20,15:15:1],'Thu Apr 20th 2017 at 3:15 PM',[2017-4-20,15:21:1],'Thu Apr 20th 2017 at 3:21 PM']]]]]] parsed [domain,domain(flp,['negative-preconditions','conditional-effects',equality,typing,fluents,'durative-actions','derived-predicates'],[genls([intelligentAgent,residence,vehicle,tool,container],object),genls([modeOfTransportation],category),genls([object,physicalLocation],thing),genls([person],intelligentAgent),genls([residence],physicalLocation),genls([vehicle],container)],[autonomous(are(['$VAR'('A')],intelligentAgent)),location(are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)),contains(are(['$VAR'('C')],container),are(['$VAR'('O')],object)),mobile(are(['$VAR'('Ob')],object)),'directly-holding'(are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object)),'travel-path'(are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)),'driving-p'(are(['$VAR'('M')],modeOfTransportation)),'walking-p'(are(['$VAR'('M')],modeOfTransportation))],[f('travel-distance',[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)]),f('travel-duration',[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)])],[durativeAction(walk,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('walking-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'at start'(location('$VAR'('A'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1')))]),durativeAction('pick-up',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'(not('directly-holding'('$VAR'('A'),'$VAR'('O')))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L')))],['at end'('directly-holding'('$VAR'('A'),'$VAR'('O')))]),durativeAction('set-down',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L')))],['at end'(location('$VAR'('O'),'$VAR'('L'))),'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))]),durativeAction(carry,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('walking-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'over all'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L0'))),'at start'(location('$VAR'('O'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(not(location('$VAR'('O'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1'))),'at end'(location('$VAR'('O'),'$VAR'('L1')))]),durativeAction('place-into',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('C')],container),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L'))),'at start'(location('$VAR'('C'),'$VAR'('L'))),'at start'(not(contains('$VAR'('C'),'$VAR'('O'))))],['at end'(contains('$VAR'('C'),'$VAR'('O'))),'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))]),durativeAction(drive,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('V')],vehicle),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('driving-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('V'))),'at start'(location('$VAR'('A'),'$VAR'('L0'))),'at start'(location('$VAR'('V'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(not(location('$VAR'('V'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1'))),'at end'(location('$VAR'('V'),'$VAR'('L1')))])])] [problem,problem(flp1,flp,[are([driving,walking,-,modeOfTransportation,bluetoothKeyboard,tissues,-,object,andrewDougherty,meredithMcGhan,-,person,auroraIllinois,flintMichigan,-,physicalLocation,townhomeOfEleanorAndAndrewAndMeredith,-,residence,bluetoothKeyboard,-,tool,andrewDoughertysHypotheticalCar,meredithMcGhansCar],vehicle)],[autonomous(andrewDougherty),autonomous(meredithMcGhan),location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith),location(andrewDoughertysHypotheticalCar,auroraIllinois),location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith),location(meredithMcGhan,flintMichigan),location(meredithMcGhansCar,flintMichigan),mobile(andrewDoughertysHypotheticalCar),mobile(bluetoothKeyboard),mobile(meredithMcGhansCar),'travel-path'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'travel-path'(driving,flintMichigan,auroraIllinois),set('travel-distance'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),5),set('travel-distance'(driving,flintMichigan,auroraIllinois),500),set('travel-duration'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),0.15),set('travel-duration'(driving,flintMichigan,auroraIllinois),7)],['directly-holding'(andrewDougherty,bluetoothKeyboard)],metric(minimize,'total-time'))] [actionStarts,[at(0.0003,action(start,'pick-up'(andrewDougherty,bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith)))]] [actionEnds,[at(0.0003,action(end,'pick-up'(andrewDougherty,bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith)))]] [props,[]] eventsOrdered [sorted,[at(0.0003,action(start,'pick-up'(andrewDougherty,bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith))),at(0.0003,action(end,'pick-up'(andrewDougherty,bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith)))]] [init,[autonomous(andrewDougherty),autonomous(meredithMcGhan),location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith),location(andrewDoughertysHypotheticalCar,auroraIllinois),location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith),location(meredithMcGhan,flintMichigan),location(meredithMcGhansCar,flintMichigan),mobile(andrewDoughertysHypotheticalCar),mobile(bluetoothKeyboard),mobile(meredithMcGhansCar),'travel-path'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'travel-path'(driving,flintMichigan,auroraIllinois)]] [step,at(0.0003,action(start,'pick-up'(andrewDougherty,bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith)))] [step,at(0.0003,action(end,'pick-up'(andrewDougherty,bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith)))] [x,[[domainFile('/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/flp/flp.d.pddl'),domain(domain(flp,['negative-preconditions','conditional-effects',equality,typing,fluents,'durative-actions','derived-predicates'],[genls([intelligentAgent,residence,vehicle,tool,container],object),genls([modeOfTransportation],category),genls([object,physicalLocation],thing),genls([person],intelligentAgent),genls([residence],physicalLocation),genls([vehicle],container)],[autonomous(are(['$VAR'('A')],intelligentAgent)),location(are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)),contains(are(['$VAR'('C')],container),are(['$VAR'('O')],object)),mobile(are(['$VAR'('Ob')],object)),'directly-holding'(are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object)),'travel-path'(are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)),'driving-p'(are(['$VAR'('M')],modeOfTransportation)),'walking-p'(are(['$VAR'('M')],modeOfTransportation))],[f('travel-distance',[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)]),f('travel-duration',[are(['$VAR'('M')],modeOfTransportation),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation)])],[durativeAction(walk,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('walking-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'at start'(location('$VAR'('A'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1')))]),durativeAction('pick-up',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'(not('directly-holding'('$VAR'('A'),'$VAR'('O')))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L')))],['at end'('directly-holding'('$VAR'('A'),'$VAR'('O')))]),durativeAction('set-down',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L')))],['at end'(location('$VAR'('O'),'$VAR'('L'))),'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))]),durativeAction(carry,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('walking-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'over all'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L0'))),'at start'(location('$VAR'('O'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(not(location('$VAR'('O'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1'))),'at end'(location('$VAR'('O'),'$VAR'('L1')))]),durativeAction('place-into',[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('O')],object),are(['$VAR'('C')],container),are(['$VAR'('L')],physicalLocation)],0,['over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('O'))),'at start'('directly-holding'('$VAR'('A'),'$VAR'('O'))),'at start'(location('$VAR'('A'),'$VAR'('L'))),'at start'(location('$VAR'('O'),'$VAR'('L'))),'at start'(location('$VAR'('C'),'$VAR'('L'))),'at start'(not(contains('$VAR'('C'),'$VAR'('O'))))],['at end'(contains('$VAR'('C'),'$VAR'('O'))),'at end'(not('directly-holding'('$VAR'('A'),'$VAR'('O'))))]),durativeAction(drive,[are(['$VAR'('A')],intelligentAgent),are(['$VAR'('V')],vehicle),are(['$VAR'('L0'),'$VAR'('L1')],physicalLocation),are(['$VAR'('M')],modeOfTransportation)],'travel-duration'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1')),['over all'('driving-p'('$VAR'('M'))),'over all'('travel-path'('$VAR'('M'),'$VAR'('L0'),'$VAR'('L1'))),'over all'(autonomous('$VAR'('A'))),'over all'(mobile('$VAR'('V'))),'at start'(location('$VAR'('A'),'$VAR'('L0'))),'at start'(location('$VAR'('V'),'$VAR'('L0')))],['at end'(not(location('$VAR'('A'),'$VAR'('L0')))),'at end'(not(location('$VAR'('V'),'$VAR'('L0')))),'at end'(location('$VAR'('A'),'$VAR'('L1'))),'at end'(location('$VAR'('V'),'$VAR'('L1')))])])),problemFile('/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/flp/flp.p.pddl'),problem(problem(flp1,flp,[are([driving,walking,-,modeOfTransportation,bluetoothKeyboard,tissues,-,object,andrewDougherty,meredithMcGhan,-,person,auroraIllinois,flintMichigan,-,physicalLocation,townhomeOfEleanorAndAndrewAndMeredith,-,residence,bluetoothKeyboard,-,tool,andrewDoughertysHypotheticalCar,meredithMcGhansCar],vehicle)],[autonomous(andrewDougherty),autonomous(meredithMcGhan),location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith),location(andrewDoughertysHypotheticalCar,auroraIllinois),location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith),location(meredithMcGhan,flintMichigan),location(meredithMcGhansCar,flintMichigan),mobile(andrewDoughertysHypotheticalCar),mobile(bluetoothKeyboard),mobile(meredithMcGhansCar),'travel-path'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),'travel-path'(driving,flintMichigan,auroraIllinois),set('travel-distance'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),5),set('travel-distance'(driving,flintMichigan,auroraIllinois),500),set('travel-duration'(driving,auroraIllinois,townhomeOfEleanorAndAndrewAndMeredith),0.15),set('travel-duration'(driving,flintMichigan,auroraIllinois),7)],['directly-holding'(andrewDougherty,bluetoothKeyboard)],metric(minimize,'total-time'))),solutionFile('/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/flp/flp.p.pddl.LPG.sol'),solution(solution([[0.0003,'pick-up',[andrewDougherty,bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith],0.0]])),verbFile('/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/flp/flp.metadata.pl'),verb([verber(domain(flp),problem(flp1),includes([]),startDate([2017-4-20,15:15:0]),units([0-0-0,1:0:0]))])],[['directly-holding'(andrewDougherty,bluetoothKeyboard),'the Andrew Dougherty is directly holding Bluetooth Keyboard']],[[0,[0.0003,['pick-up',andrewDougherty,bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith],0.0,['Andrew should pick up the Bluetooth keyboard in the Townhome','pick up the Bluetooth keyboard in the Townhome'],[[['The Andrew must be autonomous for the duration of the action',checked],['The Bluetooth keyboard must be mobile for the duration of the action',checked],['The Andrew must be directly-holding the Bluetooth keyboard',''],['The Andrew must be at the Townhome',checked],['The Bluetooth keyboard must be at the Townhome',checked]],['The Andrew will be directly-holding the Bluetooth keyboard'],[2017-4-20,15:15:1],'Thu Apr 20th 2017 at 3:15 PM',[2017-4-20,15:21:1],'Thu Apr 20th 2017 at 3:21 PM']]]]]]