pfile06-p-0100-fix-water-main-10-tlt.hddl

(define
	(problem someProblem)
	(:domain  someDomain)
	(:objects
		bus1 - bus
		sleader2 - shelter_leader
		sleader3 - shelter_leader
		sleader1 - shelter_leader
		van1 - power_van
		texaco1 - service_station
		normal_hazardous - hazardousness
		medium_hazardous - hazardousness
		ttruck1 - tow_truck
		mendon - town
		sweeden - town
		henrietta - town
		wheatland - town
		rochester - town
		hilton - town
		parma - town
		honeoye_falls - town
		clarkson - town
		hamlin - town
		pittsford - town
		brockport - town
		webster - town
		churchville - town
		east_rochester - town
		spencerport - town
		brighton - town
		rush - town
		greece - town
		ogden - town
		penfield - town
		gates - town
		fairport - town
		chili - town
		riga - town
		irondequoit - town
		perinton - town
		scottsville - town
		pvan2 - police_van
		pvan1 - police_van
		plow2 - snowplow
		plow1 - snowplow
		pcrew1 - power_crew
		amb1 - ambulance
		tcrew1 - tree_crew
		head_injury - condition
		broken_leg - condition
		heart_attack - condition
		light_burn - condition
		bruises - condition
		bdriver1 - bus_driver
		dtruck1 - dump_truck
		emt1 - emt_crew
		ht2 - hazard_team
		tdriver1 - truck_driver
		pdriver2 - plowdriver
		pdriver1 - plowdriver
		gen2 - generator
		gen1 - generator
		ttdriver1 - tow_truck_driver
		rge - powerco
		mendon_ge - powerco
		monroe_ge - powerco
		park_ridge - hospital
		strong - hospital
		monroe_water - waterco
		mendon_water - waterco
		mendon_pond - park
		pu2 - police_unit
		pu1 - police_unit
		food1 - food
		food2 - food
		food3 - food
		brighton_dump - garbage_dump
		henrietta_dump - garbage_dump
		twelve_corners - point
	)
	(:htn
;;		:subtasks (and
;;		 (task0 (fix_water_main rochester_general airport))
;;		)
                :subtasks (and (tlt)
		)
	)
	(:init
		(atloc food1 texaco1)
		(atloc food3 brighton_high)
		(atloc food2 henrietta_dump)
		(atloc pcrew1 rochester_general)
		(atloc ttdriver1 airport)
		(atloc dtruck1 rochester_general)
		(atloc emt1 park_ridge)
		(atloc pu2 texaco1)
		(atloc pu1 airport)
		(atloc bdriver1 brighton_dump)
		(atloc plow1 marketplace)
		(atloc sleader3 henrietta_dump)
		(atloc sleader2 henrietta_dump)
		(atloc gen1 henrietta_dump)
		(atloc sleader1 park_ridge)
		(atloc gen2 brighton_dump)
		(atloc plow2 rochester_general)
		(atloc amb1 park_ridge)
		(atloc van1 rochester_general)
		(atloc wtruck1 pittsford_plaza)
		(atloc bus1 brighton_dump)
		(atloc wcrew1 pittsford_plaza)
		(atloc pdriver2 twelve_corners)
		(atloc pdriver1 texaco1)
		(atloc ttruck1 airport)
		(atloc ht1 marketplace)
		(atloc tcrew1 airport)
		(atloc ht2 strong)
		(atloc tdriver1 rochester_general)
		(atloc backhoe1 brighton_high)
		(atloc ccrew1 brighton_high)
		(atloc pvan2 texaco1)
		(atloc pvan1 airport)
		(in_town texaco1 brighton)
		(in_town strong rochester)
		(in_town park_ridge greece)
		(in_town rochester_general rochester)
		(hospital_doesnt_treat rochester_general broken_leg)
		(in_town brighton_dump brighton)
		(in_town henrietta_dump henrietta)
		(in_town marketplace henrietta)
		(in_town airport gates)
		(in_town brighton_high brighton)
		(in_town mendon_pond mendon)
		(in_town twelve_corners brighton)
		(in_town pittsford_plaza pittsford)
		(powerco_of rochester rge)
		(powerco_of gates rge)
		(powerco_of brighton rge)
		(powerco_of henrietta rge)
		(powerco_of greece rge)
		(powerco_of chili rge)
		(powerco_of mendon mendon_ge)
		(powerco_of hamlin monroe_ge)
		(powerco_of webster monroe_ge)
		(powerco_of irondequoit monroe_ge)
		(powerco_of parma monroe_ge)
		(powerco_of clarkson monroe_ge)
		(powerco_of sweeden monroe_ge)
		(powerco_of ogden monroe_ge)
		(powerco_of riga monroe_ge)
		(powerco_of wheatland monroe_ge)
		(powerco_of pittsford monroe_ge)
		(powerco_of scottsville monroe_ge)
		(powerco_of rush monroe_ge)
		(powerco_of perinton monroe_ge)
		(powerco_of fairport monroe_ge)
		(powerco_of penfield monroe_ge)
		(powerco_of east_rochester monroe_ge)
		(powerco_of churchville monroe_ge)
		(powerco_of brockport monroe_ge)
		(powerco_of spencerport monroe_ge)
		(powerco_of hilton monroe_ge)
		(powerco_of honeoye_falls monroe_ge)
		(waterco_of rochester roch_water)
		(waterco_of gates roch_water)
		(waterco_of brighton roch_water)
		(waterco_of henrietta roch_water)
		(waterco_of greece monroe_water)
		(waterco_of chili roch_water)
		(waterco_of mendon mendon_water)
		(waterco_of hamlin roch_water)
		(waterco_of webster monroe_water)
		(waterco_of irondequoit monroe_water)
		(waterco_of parma monroe_water)
		(waterco_of clarkson monroe_water)
		(waterco_of sweeden monroe_water)
		(waterco_of ogden monroe_water)
		(waterco_of riga monroe_water)
		(waterco_of wheatland monroe_water)
		(waterco_of pittsford monroe_water)
		(waterco_of scottsville monroe_water)
		(waterco_of rush monroe_water)
		(waterco_of perinton monroe_water)
		(waterco_of fairport monroe_water)
		(waterco_of penfield monroe_water)
		(waterco_of east_rochester monroe_water)
		(waterco_of churchville monroe_water)
		(waterco_of brockport monroe_water)
		(waterco_of spencerport monroe_water)
		(waterco_of hilton monroe_water)
		(waterco_of honeoye_falls monroe_water)
		(fit_in ttdriver1 plow2)
		(fit_in ttdriver1 plow1)
		(fit_in ttdriver1 ttruck1)
		(fit_in ttdriver1 pvan2)
		(fit_in ttdriver1 pvan1)
		(fit_in ttdriver1 van1)
		(fit_in ttdriver1 dtruck1)
		(fit_in ttdriver1 bus1)
		(fit_in ttdriver1 amb1)
		(fit_in ttdriver1 wtruck1)
		(fit_in ttdriver1 backhoe1)
		(fit_in ccrew1 plow2)
		(fit_in ccrew1 plow1)
		(fit_in ccrew1 ttruck1)
		(fit_in ccrew1 pvan2)
		(fit_in ccrew1 pvan1)
		(fit_in ccrew1 van1)
		(fit_in ccrew1 dtruck1)
		(fit_in ccrew1 bus1)
		(fit_in ccrew1 amb1)
		(fit_in ccrew1 wtruck1)
		(fit_in ccrew1 backhoe1)
		(fit_in emt1 plow2)
		(fit_in emt1 plow1)
		(fit_in emt1 ttruck1)
		(fit_in emt1 pvan2)
		(fit_in emt1 pvan1)
		(fit_in emt1 van1)
		(fit_in emt1 dtruck1)
		(fit_in emt1 bus1)
		(fit_in emt1 amb1)
		(fit_in emt1 wtruck1)
		(fit_in emt1 backhoe1)
		(fit_in pdriver2 plow2)
		(fit_in pdriver2 plow1)
		(fit_in pdriver2 ttruck1)
		(fit_in pdriver2 pvan2)
		(fit_in pdriver2 pvan1)
		(fit_in pdriver2 van1)
		(fit_in pdriver2 dtruck1)
		(fit_in pdriver2 bus1)
		(fit_in pdriver2 amb1)
		(fit_in pdriver2 wtruck1)
		(fit_in pdriver2 backhoe1)
		(fit_in pu2 plow2)
		(fit_in pu2 plow1)
		(fit_in pu2 ttruck1)
		(fit_in pu2 pvan2)
		(fit_in pu2 pvan1)
		(fit_in pu2 van1)
		(fit_in pu2 dtruck1)
		(fit_in pu2 bus1)
		(fit_in pu2 amb1)
		(fit_in pu2 wtruck1)
		(fit_in pu2 backhoe1)
		(fit_in pdriver1 plow2)
		(fit_in pdriver1 plow1)
		(fit_in pdriver1 ttruck1)
		(fit_in pdriver1 pvan2)
		(fit_in pdriver1 pvan1)
		(fit_in pdriver1 van1)
		(fit_in pdriver1 dtruck1)
		(fit_in pdriver1 bus1)
		(fit_in pdriver1 amb1)
		(fit_in pdriver1 wtruck1)
		(fit_in pdriver1 backhoe1)
		(fit_in pu1 plow2)
		(fit_in pu1 plow1)
		(fit_in pu1 ttruck1)
		(fit_in pu1 pvan2)
		(fit_in pu1 pvan1)
		(fit_in pu1 van1)
		(fit_in pu1 dtruck1)
		(fit_in pu1 bus1)
		(fit_in pu1 amb1)
		(fit_in pu1 wtruck1)
		(fit_in pu1 backhoe1)
		(fit_in wcrew1 plow2)
		(fit_in wcrew1 plow1)
		(fit_in wcrew1 ttruck1)
		(fit_in wcrew1 pvan2)
		(fit_in wcrew1 pvan1)
		(fit_in wcrew1 van1)
		(fit_in wcrew1 dtruck1)
		(fit_in wcrew1 bus1)
		(fit_in wcrew1 amb1)
		(fit_in wcrew1 wtruck1)
		(fit_in wcrew1 backhoe1)
		(fit_in sleader2 plow2)
		(fit_in sleader2 plow1)
		(fit_in sleader2 ttruck1)
		(fit_in sleader2 pvan2)
		(fit_in sleader2 pvan1)
		(fit_in sleader2 van1)
		(fit_in sleader2 dtruck1)
		(fit_in sleader2 bus1)
		(fit_in sleader2 amb1)
		(fit_in sleader2 wtruck1)
		(fit_in sleader2 backhoe1)
		(fit_in sleader3 plow2)
		(fit_in sleader3 plow1)
		(fit_in sleader3 ttruck1)
		(fit_in sleader3 pvan2)
		(fit_in sleader3 pvan1)
		(fit_in sleader3 van1)
		(fit_in sleader3 dtruck1)
		(fit_in sleader3 bus1)
		(fit_in sleader3 amb1)
		(fit_in sleader3 wtruck1)
		(fit_in sleader3 backhoe1)
		(fit_in sleader1 plow2)
		(fit_in sleader1 plow1)
		(fit_in sleader1 ttruck1)
		(fit_in sleader1 pvan2)
		(fit_in sleader1 pvan1)
		(fit_in sleader1 van1)
		(fit_in sleader1 dtruck1)
		(fit_in sleader1 bus1)
		(fit_in sleader1 amb1)
		(fit_in sleader1 wtruck1)
		(fit_in sleader1 backhoe1)
		(fit_in pcrew1 plow2)
		(fit_in pcrew1 plow1)
		(fit_in pcrew1 ttruck1)
		(fit_in pcrew1 pvan2)
		(fit_in pcrew1 pvan1)
		(fit_in pcrew1 van1)
		(fit_in pcrew1 dtruck1)
		(fit_in pcrew1 bus1)
		(fit_in pcrew1 amb1)
		(fit_in pcrew1 wtruck1)
		(fit_in pcrew1 backhoe1)
		(fit_in bdriver1 plow2)
		(fit_in bdriver1 plow1)
		(fit_in bdriver1 ttruck1)
		(fit_in bdriver1 pvan2)
		(fit_in bdriver1 pvan1)
		(fit_in bdriver1 van1)
		(fit_in bdriver1 dtruck1)
		(fit_in bdriver1 bus1)
		(fit_in bdriver1 amb1)
		(fit_in bdriver1 wtruck1)
		(fit_in bdriver1 backhoe1)
		(fit_in tcrew1 plow2)
		(fit_in tcrew1 plow1)
		(fit_in tcrew1 ttruck1)
		(fit_in tcrew1 pvan2)
		(fit_in tcrew1 pvan1)
		(fit_in tcrew1 van1)
		(fit_in tcrew1 dtruck1)
		(fit_in tcrew1 bus1)
		(fit_in tcrew1 amb1)
		(fit_in tcrew1 wtruck1)
		(fit_in tcrew1 backhoe1)
		(fit_in ht2 plow2)
		(fit_in ht2 plow1)
		(fit_in ht2 ttruck1)
		(fit_in ht2 pvan2)
		(fit_in ht2 pvan1)
		(fit_in ht2 van1)
		(fit_in ht2 dtruck1)
		(fit_in ht2 bus1)
		(fit_in ht2 amb1)
		(fit_in ht2 wtruck1)
		(fit_in ht2 backhoe1)
		(fit_in ht1 plow2)
		(fit_in ht1 plow1)
		(fit_in ht1 ttruck1)
		(fit_in ht1 pvan2)
		(fit_in ht1 pvan1)
		(fit_in ht1 van1)
		(fit_in ht1 dtruck1)
		(fit_in ht1 bus1)
		(fit_in ht1 amb1)
		(fit_in ht1 wtruck1)
		(fit_in ht1 backhoe1)
		(fit_in tdriver1 plow2)
		(fit_in tdriver1 plow1)
		(fit_in tdriver1 ttruck1)
		(fit_in tdriver1 pvan2)
		(fit_in tdriver1 pvan1)
		(fit_in tdriver1 van1)
		(fit_in tdriver1 dtruck1)
		(fit_in tdriver1 bus1)
		(fit_in tdriver1 amb1)
		(fit_in tdriver1 wtruck1)
		(fit_in tdriver1 backhoe1)
		(fit_in gen2 plow2)
		(fit_in gen2 plow1)
		(fit_in gen2 ttruck1)
		(fit_in gen2 pvan2)
		(fit_in gen2 pvan1)
		(fit_in gen2 van1)
		(fit_in gen2 dtruck1)
		(fit_in gen2 bus1)
		(fit_in gen2 amb1)
		(fit_in gen2 wtruck1)
		(fit_in gen2 backhoe1)
		(fit_in gen1 plow2)
		(fit_in gen1 plow1)
		(fit_in gen1 ttruck1)
		(fit_in gen1 pvan2)
		(fit_in gen1 pvan1)
		(fit_in gen1 van1)
		(fit_in gen1 dtruck1)
		(fit_in gen1 bus1)
		(fit_in gen1 amb1)
		(fit_in gen1 wtruck1)
		(fit_in gen1 backhoe1)
		(fit_in food1 plow2)
		(fit_in food1 plow1)
		(fit_in food1 ttruck1)
		(fit_in food1 pvan2)
		(fit_in food1 pvan1)
		(fit_in food1 van1)
		(fit_in food1 dtruck1)
		(fit_in food1 bus1)
		(fit_in food1 amb1)
		(fit_in food1 wtruck1)
		(fit_in food1 backhoe1)
		(fit_in food2 plow2)
		(fit_in food2 plow1)
		(fit_in food2 ttruck1)
		(fit_in food2 pvan2)
		(fit_in food2 pvan1)
		(fit_in food2 van1)
		(fit_in food2 dtruck1)
		(fit_in food2 bus1)
		(fit_in food2 amb1)
		(fit_in food2 wtruck1)
		(fit_in food2 backhoe1)
		(fit_in food3 plow2)
		(fit_in food3 plow1)
		(fit_in food3 ttruck1)
		(fit_in food3 pvan2)
		(fit_in food3 pvan1)
		(fit_in food3 van1)
		(fit_in food3 dtruck1)
		(fit_in food3 bus1)
		(fit_in food3 amb1)
		(fit_in food3 wtruck1)
		(fit_in food3 backhoe1)
		(can_drive ttdriver1 ttruck1)
		(can_drive emt1 amb1)
		(can_drive pcrew1 van1)
		(can_drive tdriver1 plow2)
		(can_drive tdriver1 plow1)
		(can_drive tdriver1 ttruck1)
		(can_drive tdriver1 dtruck1)
		(can_drive tdriver1 wtruck1)
		(can_drive tdriver1 backhoe1)
		(can_drive bdriver1 bus1)
		(can_drive pu2 pvan2)
		(can_drive pu2 pvan1)
		(can_drive pu1 pvan2)
		(can_drive pu1 pvan1)
		(can_drive ccrew1 backhoe1)
		(can_drive wcrew1 wtruck1)
		(can_drive pdriver2 plow2)
		(can_drive pdriver2 plow1)
		(can_drive pdriver1 plow2)
		(can_drive pdriver1 plow1)
		(can_lift emt1 ttdriver1)
		(can_lift emt1 ccrew1)
		(can_lift emt1 pdriver2)
		(can_lift emt1 pu2)
		(can_lift emt1 pdriver1)
		(can_lift emt1 pu1)
		(can_lift emt1 wcrew1)
		(can_lift emt1 sleader2)
		(can_lift emt1 sleader3)
		(can_lift emt1 sleader1)
		(can_lift emt1 pcrew1)
		(can_lift emt1 bdriver1)
		(can_lift emt1 tcrew1)
		(can_lift emt1 ht2)
		(can_lift emt1 ht1)
		(can_lift emt1 tdriver1)
		(can_lift ccrew1 food1)
		(can_lift ccrew1 food2)
		(can_lift ccrew1 food3)
		(can_lift ccrew1 gen2)
		(can_lift ccrew1 gen1)
		(can_lift wcrew1 food1)
		(can_lift wcrew1 food2)
		(can_lift wcrew1 food3)
		(can_lift wcrew1 gen2)
		(can_lift wcrew1 gen1)
		(can_lift pcrew1 food1)
		(can_lift pcrew1 food2)
		(can_lift pcrew1 food3)
		(can_lift pcrew1 gen2)
		(can_lift pcrew1 gen1)
		(can_lift tcrew1 food1)
		(can_lift tcrew1 food2)
		(can_lift tcrew1 food3)
		(can_lift tcrew1 gen2)
		(can_lift tcrew1 gen1)
		(can_lift ht2 food1)
		(can_lift ht2 food2)
		(can_lift ht2 food3)
		(can_lift ht2 gen2)
		(can_lift ht2 gen1)
		(can_lift ht1 food1)
		(can_lift ht1 food2)
		(can_lift ht1 food3)
		(can_lift ht1 gen2)
		(can_lift ht1 gen1)
		(l1)
	)
	(:goal
		(and
		(l11)
		)
	)
)