Prolog-Loading-include: shell-utils.pl
Prolog-Loading-include: regex.pl
Prolog-Loading-use_module: library(julian)
Prolog-Loading-ensure_loaded: args
Prolog-Loading-use_module: library(julian)
[domainVerbFile,'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,'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('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('worlds/flp/flp.p.verb.LPG.sol'),solution(_53124),verbFile('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-24,14:1:42.903933696]]
[query,isa(_7886,category)]
[findall(atTime(_64314,_64316),(atTime(_64314,_64316),isa(_7886,category)=_64316,view([query,isa(_7886,category),query2,_64316,dateTime,[2018-7-24,14:1:42.903933696],dateTime2,_64314]),compareTime(>,[2018-7-24,14:1:42.903933696],_64314)),_64310)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,container]
[dateTime,[2018-7-24,14:1:42.91112832]]
[query,isa(_7886,container)]
[findall(atTime(_60456,_60458),(atTime(_60456,_60458),isa(_7886,container)=_60458,view([query,isa(_7886,container),query2,_60458,dateTime,[2018-7-24,14:1:42.91112832],dateTime2,_60456]),compareTime(>,[2018-7-24,14:1:42.91112832],_60456)),_60452)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,intelligentAgent]
[dateTime,[2018-7-24,14:1:42.91756928]]
[query,isa(_7886,intelligentAgent)]
[findall(atTime(_60456,_60458),(atTime(_60456,_60458),isa(_7886,intelligentAgent)=_60458,view([query,isa(_7886,intelligentAgent),query2,_60458,dateTime,[2018-7-24,14:1:42.91756928],dateTime2,_60456]),compareTime(>,[2018-7-24,14:1:42.91756928],_60456)),_60452)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,modeOfTransportation]
[dateTime,[2018-7-24,14:1:42.9239296]]
[query,isa(_7886,modeOfTransportation)]
[findall(atTime(_60456,_60458),(atTime(_60456,_60458),isa(_7886,modeOfTransportation)=_60458,view([query,isa(_7886,modeOfTransportation),query2,_60458,dateTime,[2018-7-24,14:1:42.9239296],dateTime2,_60456]),compareTime(>,[2018-7-24,14:1:42.9239296],_60456)),_60452)]
[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-24,14:1:42.941294336]]
[query,isa(_7886,object)]
[findall(atTime(_60456,_60458),(atTime(_60456,_60458),isa(_7886,object)=_60458,view([query,isa(_7886,object),query2,_60458,dateTime,[2018-7-24,14:1:42.941294336],dateTime2,_60456]),compareTime(>,[2018-7-24,14:1:42.941294336],_60456)),_60452)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,person]
[dateTime,[2018-7-24,14:1:42.947721728]]
[query,isa(_7886,person)]
[findall(atTime(_60456,_60458),(atTime(_60456,_60458),isa(_7886,person)=_60458,view([query,isa(_7886,person),query2,_60458,dateTime,[2018-7-24,14:1:42.947721728],dateTime2,_60456]),compareTime(>,[2018-7-24,14:1:42.947721728],_60456)),_60452)]
[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-24,14:1:42.963547648]]
[query,isa(_7886,physicalLocation)]
[findall(atTime(_60456,_60458),(atTime(_60456,_60458),isa(_7886,physicalLocation)=_60458,view([query,isa(_7886,physicalLocation),query2,_60458,dateTime,[2018-7-24,14:1:42.963547648],dateTime2,_60456]),compareTime(>,[2018-7-24,14:1:42.963547648],_60456)),_60452)]
[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-24,14:1:42.979265024]]
[query,isa(_7886,residence)]
[findall(atTime(_60456,_60458),(atTime(_60456,_60458),isa(_7886,residence)=_60458,view([query,isa(_7886,residence),query2,_60458,dateTime,[2018-7-24,14:1:42.979265024],dateTime2,_60456]),compareTime(>,[2018-7-24,14:1:42.979265024],_60456)),_60452)]
[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-24,14:1:42.990515456]]
[query,isa(_7886,thing)]
[findall(atTime(_60456,_60458),(atTime(_60456,_60458),isa(_7886,thing)=_60458,view([query,isa(_7886,thing),query2,_60458,dateTime,[2018-7-24,14:1:42.990515456],dateTime2,_60456]),compareTime(>,[2018-7-24,14:1:42.990515456],_60456)),_60452)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,tool]
[dateTime,[2018-7-24,14:1:42.996877824]]
[query,isa(_7886,tool)]
[findall(atTime(_60456,_60458),(atTime(_60456,_60458),isa(_7886,tool)=_60458,view([query,isa(_7886,tool),query2,_60458,dateTime,[2018-7-24,14:1:42.996877824],dateTime2,_60456]),compareTime(>,[2018-7-24,14:1:42.996877824],_60456)),_60452)]
[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-24,14:1:43.008252928]]
[query,isa(_7886,vehicle)]
[findall(atTime(_60456,_60458),(atTime(_60456,_60458),isa(_7886,vehicle)=_60458,view([query,isa(_7886,vehicle),query2,_60458,dateTime,[2018-7-24,14:1:43.008252928],dateTime2,_60456]),compareTime(>,[2018-7-24,14:1:43.008252928],_60456)),_60452)]
[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-24,14:1:43.023895808]]
[query,isa(_7844,category)]
[findall(atTime(_60970,_60972),(atTime(_60970,_60972),isa(_7844,category)=_60972,view([query,isa(_7844,category),query2,_60972,dateTime,[2018-7-24,14:1:43.023895808],dateTime2,_60970]),compareTime(>,[2018-7-24,14:1:43.023895808],_60970)),_60966)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,container]
[dateTime,[2018-7-24,14:1:43.030331136]]
[query,isa(_7844,container)]
[findall(atTime(_60692,_60694),(atTime(_60692,_60694),isa(_7844,container)=_60694,view([query,isa(_7844,container),query2,_60694,dateTime,[2018-7-24,14:1:43.030331136],dateTime2,_60692]),compareTime(>,[2018-7-24,14:1:43.030331136],_60692)),_60688)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,intelligentAgent]
[dateTime,[2018-7-24,14:1:43.036747264]]
[query,isa(_7844,intelligentAgent)]
[findall(atTime(_60692,_60694),(atTime(_60692,_60694),isa(_7844,intelligentAgent)=_60694,view([query,isa(_7844,intelligentAgent),query2,_60694,dateTime,[2018-7-24,14:1:43.036747264],dateTime2,_60692]),compareTime(>,[2018-7-24,14:1:43.036747264],_60692)),_60688)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,modeOfTransportation]
[dateTime,[2018-7-24,14:1:43.043279616]]
[query,isa(_7844,modeOfTransportation)]
[findall(atTime(_60692,_60694),(atTime(_60692,_60694),isa(_7844,modeOfTransportation)=_60694,view([query,isa(_7844,modeOfTransportation),query2,_60694,dateTime,[2018-7-24,14:1:43.043279616],dateTime2,_60692]),compareTime(>,[2018-7-24,14:1:43.043279616],_60692)),_60688)]
[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-24,14:1:43.059026176]]
[query,isa(_7844,object)]
[findall(atTime(_60692,_60694),(atTime(_60692,_60694),isa(_7844,object)=_60694,view([query,isa(_7844,object),query2,_60694,dateTime,[2018-7-24,14:1:43.059026176],dateTime2,_60692]),compareTime(>,[2018-7-24,14:1:43.059026176],_60692)),_60688)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,person]
[dateTime,[2018-7-24,14:1:43.065383936]]
[query,isa(_7844,person)]
[findall(atTime(_60692,_60694),(atTime(_60692,_60694),isa(_7844,person)=_60694,view([query,isa(_7844,person),query2,_60694,dateTime,[2018-7-24,14:1:43.065383936],dateTime2,_60692]),compareTime(>,[2018-7-24,14:1:43.065383936],_60692)),_60688)]
[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-24,14:1:43.081143552]]
[query,isa(_7844,physicalLocation)]
[findall(atTime(_60692,_60694),(atTime(_60692,_60694),isa(_7844,physicalLocation)=_60694,view([query,isa(_7844,physicalLocation),query2,_60694,dateTime,[2018-7-24,14:1:43.081143552],dateTime2,_60692]),compareTime(>,[2018-7-24,14:1:43.081143552],_60692)),_60688)]
[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-24,14:1:43.096797952]]
[query,isa(_7844,residence)]
[findall(atTime(_60692,_60694),(atTime(_60692,_60694),isa(_7844,residence)=_60694,view([query,isa(_7844,residence),query2,_60694,dateTime,[2018-7-24,14:1:43.096797952],dateTime2,_60692]),compareTime(>,[2018-7-24,14:1:43.096797952],_60692)),_60688)]
[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-24,14:1:43.107849472]]
[query,isa(_7844,thing)]
[findall(atTime(_60692,_60694),(atTime(_60692,_60694),isa(_7844,thing)=_60694,view([query,isa(_7844,thing),query2,_60694,dateTime,[2018-7-24,14:1:43.107849472],dateTime2,_60692]),compareTime(>,[2018-7-24,14:1:43.107849472],_60692)),_60688)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,tool]
[dateTime,[2018-7-24,14:1:43.114256896]]
[query,isa(_7844,tool)]
[findall(atTime(_60692,_60694),(atTime(_60692,_60694),isa(_7844,tool)=_60694,view([query,isa(_7844,tool),query2,_60694,dateTime,[2018-7-24,14:1:43.114256896],dateTime2,_60692]),compareTime(>,[2018-7-24,14:1:43.114256896],_60692)),_60688)]
[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-24,14:1:43.125290752]]
[query,isa(_7844,vehicle)]
[findall(atTime(_60692,_60694),(atTime(_60692,_60694),isa(_7844,vehicle)=_60694,view([query,isa(_7844,vehicle),query2,_60694,dateTime,[2018-7-24,14:1:43.125290752],dateTime2,_60692]),compareTime(>,[2018-7-24,14:1:43.125290752],_60692)),_60688)]
[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-24,14:1:43.141191936]]
[query,isa(_8408,category)]
[findall(atTime(_18928,_18930),(atTime(_18928,_18930),isa(_8408,category)=_18930,view([query,isa(_8408,category),query2,_18930,dateTime,[2018-7-24,14:1:43.141191936],dateTime2,_18928]),compareTime(>,[2018-7-24,14:1:43.141191936],_18928)),_18924)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,container]
[dateTime,[2018-7-24,14:1:43.147930368]]
[query,isa(_8408,container)]
[findall(atTime(_61462,_61464),(atTime(_61462,_61464),isa(_8408,container)=_61464,view([query,isa(_8408,container),query2,_61464,dateTime,[2018-7-24,14:1:43.147930368],dateTime2,_61462]),compareTime(>,[2018-7-24,14:1:43.147930368],_61462)),_61458)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,intelligentAgent]
[dateTime,[2018-7-24,14:1:43.15431296]]
[query,isa(_8408,intelligentAgent)]
[findall(atTime(_61462,_61464),(atTime(_61462,_61464),isa(_8408,intelligentAgent)=_61464,view([query,isa(_8408,intelligentAgent),query2,_61464,dateTime,[2018-7-24,14:1:43.15431296],dateTime2,_61462]),compareTime(>,[2018-7-24,14:1:43.15431296],_61462)),_61458)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,modeOfTransportation]
[dateTime,[2018-7-24,14:1:43.160953088]]
[query,isa(_8408,modeOfTransportation)]
[findall(atTime(_61462,_61464),(atTime(_61462,_61464),isa(_8408,modeOfTransportation)=_61464,view([query,isa(_8408,modeOfTransportation),query2,_61464,dateTime,[2018-7-24,14:1:43.160953088],dateTime2,_61462]),compareTime(>,[2018-7-24,14:1:43.160953088],_61462)),_61458)]
[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-24,14:1:43.176671488]]
[query,isa(_8408,object)]
[findall(atTime(_61462,_61464),(atTime(_61462,_61464),isa(_8408,object)=_61464,view([query,isa(_8408,object),query2,_61464,dateTime,[2018-7-24,14:1:43.176671488],dateTime2,_61462]),compareTime(>,[2018-7-24,14:1:43.176671488],_61462)),_61458)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,person]
[dateTime,[2018-7-24,14:1:43.183047168]]
[query,isa(_8408,person)]
[findall(atTime(_61462,_61464),(atTime(_61462,_61464),isa(_8408,person)=_61464,view([query,isa(_8408,person),query2,_61464,dateTime,[2018-7-24,14:1:43.183047168],dateTime2,_61462]),compareTime(>,[2018-7-24,14:1:43.183047168],_61462)),_61458)]
[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-24,14:1:43.198790656]]
[query,isa(_8408,physicalLocation)]
[findall(atTime(_61462,_61464),(atTime(_61462,_61464),isa(_8408,physicalLocation)=_61464,view([query,isa(_8408,physicalLocation),query2,_61464,dateTime,[2018-7-24,14:1:43.198790656],dateTime2,_61462]),compareTime(>,[2018-7-24,14:1:43.198790656],_61462)),_61458)]
[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-24,14:1:43.214500864]]
[query,isa(_8408,residence)]
[findall(atTime(_61462,_61464),(atTime(_61462,_61464),isa(_8408,residence)=_61464,view([query,isa(_8408,residence),query2,_61464,dateTime,[2018-7-24,14:1:43.214500864],dateTime2,_61462]),compareTime(>,[2018-7-24,14:1:43.214500864],_61462)),_61458)]
[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-24,14:1:43.225797376]]
[query,isa(_8408,thing)]
[findall(atTime(_61462,_61464),(atTime(_61462,_61464),isa(_8408,thing)=_61464,view([query,isa(_8408,thing),query2,_61464,dateTime,[2018-7-24,14:1:43.225797376],dateTime2,_61462]),compareTime(>,[2018-7-24,14:1:43.225797376],_61462)),_61458)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,tool]
[dateTime,[2018-7-24,14:1:43.232209152]]
[query,isa(_8408,tool)]
[findall(atTime(_61462,_61464),(atTime(_61462,_61464),isa(_8408,tool)=_61464,view([query,isa(_8408,tool),query2,_61464,dateTime,[2018-7-24,14:1:43.232209152],dateTime2,_61462]),compareTime(>,[2018-7-24,14:1:43.232209152],_61462)),_61458)]
[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-24,14:1:43.243376128]]
[query,isa(_8408,vehicle)]
[findall(atTime(_61462,_61464),(atTime(_61462,_61464),isa(_8408,vehicle)=_61464,view([query,isa(_8408,vehicle),query2,_61464,dateTime,[2018-7-24,14:1:43.243376128],dateTime2,_61462]),compareTime(>,[2018-7-24,14:1:43.243376128],_61462)),_61458)]
[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-24,14:1:43.258996992]]
[query,isa(_8366,category)]
[findall(atTime(_61656,_61658),(atTime(_61656,_61658),isa(_8366,category)=_61658,view([query,isa(_8366,category),query2,_61658,dateTime,[2018-7-24,14:1:43.258996992],dateTime2,_61656]),compareTime(>,[2018-7-24,14:1:43.258996992],_61656)),_61652)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,container]
[dateTime,[2018-7-24,14:1:43.265240832]]
[query,isa(_8366,container)]
[findall(atTime(_61336,_61338),(atTime(_61336,_61338),isa(_8366,container)=_61338,view([query,isa(_8366,container),query2,_61338,dateTime,[2018-7-24,14:1:43.265240832],dateTime2,_61336]),compareTime(>,[2018-7-24,14:1:43.265240832],_61336)),_61332)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,intelligentAgent]
[dateTime,[2018-7-24,14:1:43.271342592]]
[query,isa(_8366,intelligentAgent)]
[findall(atTime(_61336,_61338),(atTime(_61336,_61338),isa(_8366,intelligentAgent)=_61338,view([query,isa(_8366,intelligentAgent),query2,_61338,dateTime,[2018-7-24,14:1:43.271342592],dateTime2,_61336]),compareTime(>,[2018-7-24,14:1:43.271342592],_61336)),_61332)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,modeOfTransportation]
[dateTime,[2018-7-24,14:1:43.277878528]]
[query,isa(_8366,modeOfTransportation)]
[findall(atTime(_61336,_61338),(atTime(_61336,_61338),isa(_8366,modeOfTransportation)=_61338,view([query,isa(_8366,modeOfTransportation),query2,_61338,dateTime,[2018-7-24,14:1:43.277878528],dateTime2,_61336]),compareTime(>,[2018-7-24,14:1:43.277878528],_61336)),_61332)]
[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-24,14:1:43.293343488]]
[query,isa(_8366,object)]
[findall(atTime(_61336,_61338),(atTime(_61336,_61338),isa(_8366,object)=_61338,view([query,isa(_8366,object),query2,_61338,dateTime,[2018-7-24,14:1:43.293343488],dateTime2,_61336]),compareTime(>,[2018-7-24,14:1:43.293343488],_61336)),_61332)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,person]
[dateTime,[2018-7-24,14:1:43.299570688]]
[query,isa(_8366,person)]
[findall(atTime(_61336,_61338),(atTime(_61336,_61338),isa(_8366,person)=_61338,view([query,isa(_8366,person),query2,_61338,dateTime,[2018-7-24,14:1:43.299570688],dateTime2,_61336]),compareTime(>,[2018-7-24,14:1:43.299570688],_61336)),_61332)]
[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-24,14:1:43.314829824]]
[query,isa(_8366,physicalLocation)]
[findall(atTime(_61336,_61338),(atTime(_61336,_61338),isa(_8366,physicalLocation)=_61338,view([query,isa(_8366,physicalLocation),query2,_61338,dateTime,[2018-7-24,14:1:43.314829824],dateTime2,_61336]),compareTime(>,[2018-7-24,14:1:43.314829824],_61336)),_61332)]
[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-24,14:1:43.329997312]]
[query,isa(_8366,residence)]
[findall(atTime(_61336,_61338),(atTime(_61336,_61338),isa(_8366,residence)=_61338,view([query,isa(_8366,residence),query2,_61338,dateTime,[2018-7-24,14:1:43.329997312],dateTime2,_61336]),compareTime(>,[2018-7-24,14:1:43.329997312],_61336)),_61332)]
[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-24,14:1:43.340832512]]
[query,isa(_8366,thing)]
[findall(atTime(_61336,_61338),(atTime(_61336,_61338),isa(_8366,thing)=_61338,view([query,isa(_8366,thing),query2,_61338,dateTime,[2018-7-24,14:1:43.340832512],dateTime2,_61336]),compareTime(>,[2018-7-24,14:1:43.340832512],_61336)),_61332)]
[results,[]]
[tmpDistinctQueries,[]]
[tryingType,tool]
[dateTime,[2018-7-24,14:1:43.347047424]]
[query,isa(_8366,tool)]
[findall(atTime(_61336,_61338),(atTime(_61336,_61338),isa(_8366,tool)=_61338,view([query,isa(_8366,tool),query2,_61338,dateTime,[2018-7-24,14:1:43.347047424],dateTime2,_61336]),compareTime(>,[2018-7-24,14:1:43.347047424],_61336)),_61332)]
[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-24,14:1:43.357952768]]
[query,isa(_8366,vehicle)]
[findall(atTime(_61336,_61338),(atTime(_61336,_61338),isa(_8366,vehicle)=_61338,view([query,isa(_8366,vehicle),query2,_61338,dateTime,[2018-7-24,14:1:43.357952768],dateTime2,_61336]),compareTime(>,[2018-7-24,14:1:43.357952768],_61336)),_61332)]
[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-24,14:1:42.897532928]]
[query,autonomous(_9222)]
[findall(atTime(_9290,_9292),(atTime(_9290,_9292),autonomous(_9222)=_9292,view([query,autonomous(_9222),query2,_9292,dateTime,[2018-7-24,14:1:42.897532928],dateTime2,_9290]),compareTime(>,[2018-7-24,14:1:42.897532928],_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-24,14:1:42.897532928]]
[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-24,14:1:42.897532928],dateTime2,_9058]),compareTime(>,[2018-7-24,14:1:42.897532928],_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-24,14:1:42.897532928]]
[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-24,14:1:42.897532928],dateTime2,_9058]),compareTime(>,[2018-7-24,14:1:42.897532928],_9058)),_9054)]
[results,[]]
[tmpDistinctQueries,[]]
[dateTime,[2018-7-24,14:1:42.897532928]]
[query,mobile(_8954)]
[findall(atTime(_9022,_9024),(atTime(_9022,_9024),mobile(_8954)=_9024,view([query,mobile(_8954),query2,_9024,dateTime,[2018-7-24,14:1:42.897532928],dateTime2,_9022]),compareTime(>,[2018-7-24,14:1:42.897532928],_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-24,14:1:42.897532928]]
[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-24,14:1:42.897532928],dateTime2,_9058]),compareTime(>,[2018-7-24,14:1:42.897532928],_9058)),_9054)]
[results,[]]
[tmpDistinctQueries,[]]
[dateTime,[2018-7-24,14:1:42.897532928]]
[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-24,14:1:42.897532928],dateTime2,_9088]),compareTime(>,[2018-7-24,14:1:42.897532928],_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-24,14:1:42.897532928]]
[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-24,14:1:42.897532928],dateTime2,_9022]),compareTime(>,[2018-7-24,14:1:42.897532928],_9022)),_9018)]
[results,[]]
[tmpDistinctQueries,[]]
[dateTime,[2018-7-24,14:1:42.897532928]]
[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-24,14:1:42.897532928],dateTime2,_9022]),compareTime(>,[2018-7-24,14:1:42.897532928],_9022)),_9018)]
[results,[]]
[tmpDistinctQueries,[]]
[wsmHolds([2018-7-24,14:1:42.897532928],set('travel-distance'(_9544,_9550,_9556),_9216),z)]
[dateTime,[2018-7-24,14:1:42.897532928]]
[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-24,14:1:42.897532928],dateTime2,_9638]),compareTime(>,[2018-7-24,14:1:42.897532928],_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-24,14:1:42.897532928],set('travel-duration'(_9024,_9030,_9036),_8696),z)]
[dateTime,[2018-7-24,14:1:42.897532928]]
[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-24,14:1:42.897532928],dateTime2,_9118]),compareTime(>,[2018-7-24,14:1:42.897532928],_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('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('worlds/flp/flp.p.verb.LPG.sol'),solution(_74),verbFile('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,'worlds/flp/flp.d.pddl',worldProblemFile1,'worlds/flp/flp.p.pddl']
[command,'lpg-td-1.0 -o worlds/flp/flp.d.pddl -f worlds/flp/flp.p.pddl -out worlds/flp/flp.p.pddl.LPG.sol -speed ; mv worlds/flp/flp.p.pddl.LPG.sol.SOL worlds/flp/flp.p.pddl.LPG.sol']

Parsing domain file:  domain 'FLP' defined ... done.
Parsing problem file:  problem 'FLP1' defined ... done.



Modality: Fast Planner

Number of actions             :       5
Number of conditional actions :       0
Number of facts               :       6


Analyzing Planning Problem:
	Temporal Planning Problem: YES
	Numeric Planning Problem: YES
	Problem with Timed Initial Litearals: NO
	Problem with Derived Predicates: NO

Evaluation function weights:
     Action duration 1.00; Action cost 0.00


Computing mutex... done

Preprocessing total time: 0.00 seconds

Searching ('.' = every 50 search steps):
 solution found: 

Plan computed:
   Time: (ACTION) [action Duration; action Cost]
 0.0000: (PICK-UP ANDREWDOUGHERTY BLUETOOTHKEYBOARD TOWNHOMEOFELEANORANDANDREWANDMEREDITH) [D:0.0000; C:0.1000]


Solution found:
Total time:      0.00
Search time:     0.00
Actions:         1
Execution cost:  0.10
Duration:        0.000
Plan quality:    0.000
     Plan file:       worlds/flp/flp.p.pddl.LPG.sol_1.SOL

[domainPDDLFile,'worlds/flp/flp.d.pddl']
[problemPDDLFile,'worlds/flp/flp.p.pddl']
[hi]
[ho]
[solutionFile,'worlds/flp/flp.p.pddl.LPG.sol']
[command,'trim.pl worlds/flp/flp.p.pddl.LPG.sol > 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('worlds/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]))])]]
[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-14,9:0:0]),units([0-0-0,1:0:0]))],0.0003,0.1,_10076,_10078)]
2
[planStepStartTimeSeconds,1]
1
[tmp1,[2017,4,14,9,0,1]]
[planStepDurationSeconds,360]
[tmp1,[2017,4,14,9,6,1]]
[startDateTime,[2017-4-14,9:0:1],startDateTimeGloss,'Fri Apr 14th 2017 at 9:00 AM',endDateTime,[2017-4-14,9:6:1],endDateTimeGloss,'Fri Apr 14th 2017 at 9:06 AM']
[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',_40814)]
[index,3]
[condition,'over all',index,3,templates,_40898,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-14,9:0:1],[2017-4-14,9:6:1]]]
[atTimeQuery([2017-4-14,9:0:1],autonomous(andrewDougherty)),atTimeQuery([2017-4-14,9:6:1],autonomous(andrewDougherty))]
[dateTime,[2017-4-14,9:0:1]]
[query,autonomous(andrewDougherty)]
[findall(atTime(_41744,_41746),(atTime(_41744,_41746),autonomous(andrewDougherty)=_41746,view([query,autonomous(andrewDougherty),query2,_41746,dateTime,[2017-4-14,9:0:1],dateTime2,_41744]),compareTime(>,[2017-4-14,9:0:1],_41744)),_41740)]
[results,[]]
[tmpDistinctQueries,[]]
[verifyPrecondition2,['over all'(autonomous(andrewDougherty)),[2017-4-14,9:0:1],[2017-4-14,9:6:1]]]
[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',_11104)]
[index,3]
[condition,'over all',index,3,templates,_11188,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-14,9:0:1],[2017-4-14,9:6:1]]]
[atTimeQuery([2017-4-14,9:0:1],mobile(bluetoothKeyboard)),atTimeQuery([2017-4-14,9:6:1],mobile(bluetoothKeyboard))]
[dateTime,[2017-4-14,9:0:1]]
[query,mobile(bluetoothKeyboard)]
[findall(atTime(_11974,_11976),(atTime(_11974,_11976),mobile(bluetoothKeyboard)=_11976,view([query,mobile(bluetoothKeyboard),query2,_11976,dateTime,[2017-4-14,9:0:1],dateTime2,_11974]),compareTime(>,[2017-4-14,9:0:1],_11974)),_11970)]
[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-14,9:6:1]]
[query,mobile(bluetoothKeyboard)]
[findall(atTime(_6842,_6844),(atTime(_6842,_6844),mobile(bluetoothKeyboard)=_6844,view([query,mobile(bluetoothKeyboard),query2,_6844,dateTime,[2017-4-14,9:6:1],dateTime2,_6842]),compareTime(>,[2017-4-14,9:6: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-14,9:0:1],[2017-4-14,9:6:1]]]
atTimeQuery([2017-4-14,9:0:1],'directly-holding'(andrewDougherty,bluetoothKeyboard))
[dateTime,[2017-4-14,9:0: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-14,9:0:1],dateTime2,_7352]),compareTime(>,[2017-4-14,9:0:1],_7352)),_7348)]
[results,[]]
[tmpDistinctQueries,[]]
[verifyPrecondition2,['at start'('directly-holding'(andrewDougherty,bluetoothKeyboard)),[2017-4-14,9:0:1],[2017-4-14,9:6: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-14,9:0:1],[2017-4-14,9:6:1]]]
atTimeQuery([2017-4-14,9:0:1],location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith))
[dateTime,[2017-4-14,9:0: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-14,9:0:1],dateTime2,_7332]),compareTime(>,[2017-4-14,9:0:1],_7332)),_7328)]
[results,[]]
[tmpDistinctQueries,[]]
[verifyPrecondition2,['at start'(location(andrewDougherty,townhomeOfEleanorAndAndrewAndMeredith)),[2017-4-14,9:0:1],[2017-4-14,9:6:1]]]
[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-14,9:0:1],[2017-4-14,9:6:1]]]
atTimeQuery([2017-4-14,9:0:1],location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith))
[dateTime,[2017-4-14,9:0: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-14,9:0:1],dateTime2,_7272]),compareTime(>,[2017-4-14,9:0:1],_7272)),_7268)]
[results,[]]
[tmpDistinctQueries,[]]
[verifyPrecondition2,['at start'(location(bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith)),[2017-4-14,9:0:1],[2017-4-14,9:6:1]]]
[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',''],['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',''],['The Bluetooth keyboard must be at the Townhome','']],effectDescriptions,['The Andrew will be directly-holding the Bluetooth keyboard']]
[transformed,[[domainFile('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('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('worlds/flp/flp.p.pddl.LPG.sol'),solution(solution([[0.0003,'pick-up',[andrewDougherty,bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith],0.0]])),verbFile('worlds/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]))])],[['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',''],['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',''],['The Bluetooth keyboard must be at the Townhome','']],['The Andrew will be directly-holding the Bluetooth keyboard'],[2017-4-14,9:0:1],'Fri Apr 14th 2017 at 9:00 AM',[2017-4-14,9:6:1],'Fri Apr 14th 2017 at 9:06 AM']]]]]]


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('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('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('worlds/flp/flp.p.pddl.LPG.sol'),solution(solution([[0.0003,'pick-up',[andrewDougherty,bluetoothKeyboard,townhomeOfEleanorAndAndrewAndMeredith],0.0]])),verbFile('worlds/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]))])],[['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',''],['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',''],['The Bluetooth keyboard must be at the Townhome','']],['The Andrew will be directly-holding the Bluetooth keyboard'],[2017-4-14,9:0:1],'Fri Apr 14th 2017 at 9:00 AM',[2017-4-14,9:6:1],'Fri Apr 14th 2017 at 9:06 AM']]]]]]