Checking the given plan ...
IDs of subtasks used in the plan exist: true
Task with id=0 has the parameter drucker assigned to variable ?t_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=0 has the parameter flughafenstuttgart assigned to variable ?t_lo of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenStuttgart for which the parameter flughafenstuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=0 has the parameter heathrowairport assigned to variable ?t_ld of sort Location - but the parameter is not a member of this sort.
Found constant HeathrowAirport for which the parameter heathrowairport is a lower case version. I'm using this one.
New constant is fine.
Task with id=1 has the parameter drucker assigned to variable ?p_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=2 has the parameter drucker assigned to variable ?c_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=2 has the parameter flughafenstuttgart assigned to variable ?c_lo of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenStuttgart for which the parameter flughafenstuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=2 has the parameter heathrowairport assigned to variable ?c_ld of sort Location - but the parameter is not a member of this sort.
Found constant HeathrowAirport for which the parameter heathrowairport is a lower case version. I'm using this one.
New constant is fine.
Task with id=3 has the parameter drucker assigned to variable ?d_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=4 has the parameter drucker assigned to variable ?cf_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=5 has the parameter drucker assigned to variable ?hctt_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=5 has the parameter flughafenstuttgart assigned to variable ?hctt_o of sort TCenter - but the parameter is not a member of this sort.
Found constant FlughafenStuttgart for which the parameter flughafenstuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=5 has the parameter stuttgart assigned to variable ?hctt_co of sort City - but the parameter is not a member of this sort.
Found constant Stuttgart for which the parameter stuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=5 has the parameter heathrowairport assigned to variable ?hctt_d of sort TCenter - but the parameter is not a member of this sort.
Found constant HeathrowAirport for which the parameter heathrowairport is a lower case version. I'm using this one.
New constant is fine.
Task with id=5 has the parameter london assigned to variable ?hctt_cd of sort City - but the parameter is not a member of this sort.
Found constant London for which the parameter london is a lower case version. I'm using this one.
New constant is fine.
Task with id=6 has the parameter drucker assigned to variable ?tch_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=6 has the parameter flughafenstuttgart assigned to variable ?tch_tco of sort TCenter - but the parameter is not a member of this sort.
Found constant FlughafenStuttgart for which the parameter flughafenstuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=6 has the parameter heathrowairport assigned to variable ?tch_tcd of sort TCenter - but the parameter is not a member of this sort.
Found constant HeathrowAirport for which the parameter heathrowairport is a lower case version. I'm using this one.
New constant is fine.
Task with id=7 has the parameter flughafenstuttgart assigned to variable ?gtttctt_to of sort TCenter - but the parameter is not a member of this sort.
Found constant FlughafenStuttgart for which the parameter flughafenstuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=7 has the parameter heathrowairport assigned to variable ?gtttctt_td of sort TCenter - but the parameter is not a member of this sort.
Found constant HeathrowAirport for which the parameter heathrowairport is a lower case version. I'm using this one.
New constant is fine.
Task with id=7 has the parameter stuttgart assigned to variable ?gtttctt_co of sort City - but the parameter is not a member of this sort.
Found constant Stuttgart for which the parameter stuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=7 has the parameter london assigned to variable ?gtttctt_cd of sort City - but the parameter is not a member of this sort.
Found constant London for which the parameter london is a lower case version. I'm using this one.
New constant is fine.
Task with id=8 has the parameter drucker assigned to variable ?hcvhn_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=8 has the parameter flughafenstuttgart assigned to variable ?hcvhn_tco of sort TCenter - but the parameter is not a member of this sort.
Found constant FlughafenStuttgart for which the parameter flughafenstuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=8 has the parameter stuttgart assigned to variable ?hcvhn_ctco of sort City - but the parameter is not a member of this sort.
Found constant Stuttgart for which the parameter stuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=8 has the parameter badenwuerttemberg assigned to variable ?hcvhn_rctco of sort Region - but the parameter is not a member of this sort.
Found constant BadenWuerttemberg for which the parameter badenwuerttemberg is a lower case version. I'm using this one.
New constant is fine.
Task with id=8 has the parameter flughafenparis assigned to variable ?hcvhn_h of sort Hub - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=8 has the parameter heathrowairport assigned to variable ?hcvhn_tcd of sort TCenter - but the parameter is not a member of this sort.
Found constant HeathrowAirport for which the parameter heathrowairport is a lower case version. I'm using this one.
New constant is fine.
Task with id=8 has the parameter london assigned to variable ?hcvhn_ctcd of sort City - but the parameter is not a member of this sort.
Found constant London for which the parameter london is a lower case version. I'm using this one.
New constant is fine.
Task with id=8 has the parameter londonregion assigned to variable ?hcvhn_rctcd of sort Region - but the parameter is not a member of this sort.
Found constant LondonRegion for which the parameter londonregion is a lower case version. I'm using this one.
New constant is fine.
Task with id=9 has the parameter drucker assigned to variable ?cd_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=9 has the parameter flughafenstuttgart assigned to variable ?cd_lo of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenStuttgart for which the parameter flughafenstuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=9 has the parameter flughafenparis assigned to variable ?cd_ld of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=10 has the parameter flughafenstuttgart assigned to variable ?gtttcvhnh_to of sort TCenter - but the parameter is not a member of this sort.
Found constant FlughafenStuttgart for which the parameter flughafenstuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=10 has the parameter heathrowairport assigned to variable ?gtttcvhnh_td of sort TCenter - but the parameter is not a member of this sort.
Found constant HeathrowAirport for which the parameter heathrowairport is a lower case version. I'm using this one.
New constant is fine.
Task with id=10 has the parameter stuttgart assigned to variable ?gtttcvhnh_co of sort City - but the parameter is not a member of this sort.
Found constant Stuttgart for which the parameter stuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=10 has the parameter london assigned to variable ?gtttcvhnh_cd of sort City - but the parameter is not a member of this sort.
Found constant London for which the parameter london is a lower case version. I'm using this one.
New constant is fine.
Task with id=10 has the parameter badenwuerttemberg assigned to variable ?gtttcvhnh_ro of sort Region - but the parameter is not a member of this sort.
Found constant BadenWuerttemberg for which the parameter badenwuerttemberg is a lower case version. I'm using this one.
New constant is fine.
Task with id=10 has the parameter londonregion assigned to variable ?gtttcvhnh_rd of sort Region - but the parameter is not a member of this sort.
Found constant LondonRegion for which the parameter londonregion is a lower case version. I'm using this one.
New constant is fine.
Task with id=10 has the parameter flughafenparis assigned to variable ?gtttcvhnh_h of sort Hub - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=11 has the parameter drucker assigned to variable ?cd_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=11 has the parameter flughafenparis assigned to variable ?cd_lo of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=11 has the parameter heathrowairport assigned to variable ?cd_ld of sort Location - but the parameter is not a member of this sort.
Found constant HeathrowAirport for which the parameter heathrowairport is a lower case version. I'm using this one.
New constant is fine.
Task with id=12 has the parameter flugzeuglufthansa assigned to variable ?hcd_v of sort Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugLufthansa for which the parameter flugzeuglufthansa is a lower case version. I'm using this one.
New constant is fine.
Task with id=12 has the parameter drucker assigned to variable ?hcd_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=12 has the parameter flughafenstuttgart assigned to variable ?hcd_o of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenStuttgart for which the parameter flughafenstuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=12 has the parameter flughafenparis assigned to variable ?hcd_d of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=13 has the parameter drucker assigned to variable ?lt_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=13 has the parameter flugzeuglufthansa assigned to variable ?lt_v of sort Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugLufthansa for which the parameter flugzeuglufthansa is a lower case version. I'm using this one.
New constant is fine.
Task with id=13 has the parameter flughafenstuttgart assigned to variable ?lt_l of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenStuttgart for which the parameter flughafenstuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=14 has the parameter flugzeuglufthansa assigned to variable ?m_v of sort Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugLufthansa for which the parameter flugzeuglufthansa is a lower case version. I'm using this one.
New constant is fine.
Task with id=14 has the parameter flughafenstuttgart assigned to variable ?m_lo of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenStuttgart for which the parameter flughafenstuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=14 has the parameter flughafenparis assigned to variable ?m_ld of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=15 has the parameter drucker assigned to variable ?ult_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=15 has the parameter flugzeuglufthansa assigned to variable ?ult_v of sort Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugLufthansa for which the parameter flugzeuglufthansa is a lower case version. I'm using this one.
New constant is fine.
Task with id=15 has the parameter flughafenparis assigned to variable ?ult_l of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=16 has the parameter drucker assigned to variable ?l_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=16 has the parameter flugzeuglufthansa assigned to variable ?l_v of sort Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugLufthansa for which the parameter flugzeuglufthansa is a lower case version. I'm using this one.
New constant is fine.
Task with id=16 has the parameter flughafenstuttgart assigned to variable ?l_l of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenStuttgart for which the parameter flughafenstuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=17 has the parameter flugzeuglufthansa assigned to variable ?acr_ap of sort Airplane - but the parameter is not a member of this sort.
Found constant FlugzeugLufthansa for which the parameter flugzeuglufthansa is a lower case version. I'm using this one.
New constant is fine.
Task with id=17 has the parameter plane_rampstuttgart assigned to variable ?acr_pr of sort Plane_Ramp - but the parameter is not a member of this sort.
Found constant Plane_RampStuttgart for which the parameter plane_rampstuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=17 has the parameter flughafenstuttgart assigned to variable ?acr_l of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenStuttgart for which the parameter flughafenstuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=18 has the parameter flugzeuglufthansa assigned to variable ?od_rv of sort Regular_Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugLufthansa for which the parameter flugzeuglufthansa is a lower case version. I'm using this one.
New constant is fine.
Task with id=19 has the parameter drucker assigned to variable ?lp_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=19 has the parameter flugzeuglufthansa assigned to variable ?lp_v of sort Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugLufthansa for which the parameter flugzeuglufthansa is a lower case version. I'm using this one.
New constant is fine.
Task with id=19 has the parameter flughafenstuttgart assigned to variable ?lp_l of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenStuttgart for which the parameter flughafenstuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=20 has the parameter flugzeuglufthansa assigned to variable ?cd_rv of sort Regular_Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugLufthansa for which the parameter flugzeuglufthansa is a lower case version. I'm using this one.
New constant is fine.
Task with id=21 has the parameter flugzeuglufthansa assigned to variable ?dcr_ap of sort Airplane - but the parameter is not a member of this sort.
Found constant FlugzeugLufthansa for which the parameter flugzeuglufthansa is a lower case version. I'm using this one.
New constant is fine.
Task with id=21 has the parameter plane_rampstuttgart assigned to variable ?dcr_pr of sort Plane_Ramp - but the parameter is not a member of this sort.
Found constant Plane_RampStuttgart for which the parameter plane_rampstuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=21 has the parameter flughafenstuttgart assigned to variable ?dcr_l of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenStuttgart for which the parameter flughafenstuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=22 has the parameter flugzeuglufthansa assigned to variable ?hmnt_v of sort Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugLufthansa for which the parameter flugzeuglufthansa is a lower case version. I'm using this one.
New constant is fine.
Task with id=22 has the parameter flughafenstuttgart assigned to variable ?hmnt_o of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenStuttgart for which the parameter flughafenstuttgart is a lower case version. I'm using this one.
New constant is fine.
Task with id=22 has the parameter stuttgart_paris_air_route assigned to variable ?hmnt_r of sort Route - but the parameter is not a member of this sort.
Found constant Stuttgart_Paris_Air_Route for which the parameter stuttgart_paris_air_route is a lower case version. I'm using this one.
New constant is fine.
Task with id=22 has the parameter flughafenparis assigned to variable ?hmnt_d of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=23 has the parameter drucker assigned to variable ?ul_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=23 has the parameter flugzeuglufthansa assigned to variable ?ul_v of sort Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugLufthansa for which the parameter flugzeuglufthansa is a lower case version. I'm using this one.
New constant is fine.
Task with id=23 has the parameter flughafenparis assigned to variable ?ul_l of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=24 has the parameter flugzeuglufthansa assigned to variable ?acr_ap of sort Airplane - but the parameter is not a member of this sort.
Found constant FlugzeugLufthansa for which the parameter flugzeuglufthansa is a lower case version. I'm using this one.
New constant is fine.
Task with id=24 has the parameter plane_rampparis assigned to variable ?acr_pr of sort Plane_Ramp - but the parameter is not a member of this sort.
Found constant Plane_RampParis for which the parameter plane_rampparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=24 has the parameter flughafenparis assigned to variable ?acr_l of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=25 has the parameter flugzeuglufthansa assigned to variable ?od_rv of sort Regular_Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugLufthansa for which the parameter flugzeuglufthansa is a lower case version. I'm using this one.
New constant is fine.
Task with id=26 has the parameter drucker assigned to variable ?up_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=26 has the parameter flugzeuglufthansa assigned to variable ?up_v of sort Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugLufthansa for which the parameter flugzeuglufthansa is a lower case version. I'm using this one.
New constant is fine.
Task with id=26 has the parameter flughafenparis assigned to variable ?up_l of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=27 has the parameter flugzeuglufthansa assigned to variable ?cd_rv of sort Regular_Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugLufthansa for which the parameter flugzeuglufthansa is a lower case version. I'm using this one.
New constant is fine.
Task with id=28 has the parameter flugzeuglufthansa assigned to variable ?dcr_ap of sort Airplane - but the parameter is not a member of this sort.
Found constant FlugzeugLufthansa for which the parameter flugzeuglufthansa is a lower case version. I'm using this one.
New constant is fine.
Task with id=28 has the parameter plane_rampparis assigned to variable ?dcr_pr of sort Plane_Ramp - but the parameter is not a member of this sort.
Found constant Plane_RampParis for which the parameter plane_rampparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=28 has the parameter flughafenparis assigned to variable ?dcr_l of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=29 has the parameter flugzeugairfrance assigned to variable ?hcd_v of sort Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugAirFrance for which the parameter flugzeugairfrance is a lower case version. I'm using this one.
New constant is fine.
Task with id=29 has the parameter drucker assigned to variable ?hcd_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=29 has the parameter flughafenparis assigned to variable ?hcd_o of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=29 has the parameter heathrowairport assigned to variable ?hcd_d of sort Location - but the parameter is not a member of this sort.
Found constant HeathrowAirport for which the parameter heathrowairport is a lower case version. I'm using this one.
New constant is fine.
Task with id=30 has the parameter drucker assigned to variable ?lt_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=30 has the parameter flugzeugairfrance assigned to variable ?lt_v of sort Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugAirFrance for which the parameter flugzeugairfrance is a lower case version. I'm using this one.
New constant is fine.
Task with id=30 has the parameter flughafenparis assigned to variable ?lt_l of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=31 has the parameter flugzeugairfrance assigned to variable ?m_v of sort Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugAirFrance for which the parameter flugzeugairfrance is a lower case version. I'm using this one.
New constant is fine.
Task with id=31 has the parameter flughafenparis assigned to variable ?m_lo of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=31 has the parameter heathrowairport assigned to variable ?m_ld of sort Location - but the parameter is not a member of this sort.
Found constant HeathrowAirport for which the parameter heathrowairport is a lower case version. I'm using this one.
New constant is fine.
Task with id=32 has the parameter drucker assigned to variable ?ult_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=32 has the parameter flugzeugairfrance assigned to variable ?ult_v of sort Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugAirFrance for which the parameter flugzeugairfrance is a lower case version. I'm using this one.
New constant is fine.
Task with id=32 has the parameter heathrowairport assigned to variable ?ult_l of sort Location - but the parameter is not a member of this sort.
Found constant HeathrowAirport for which the parameter heathrowairport is a lower case version. I'm using this one.
New constant is fine.
Task with id=33 has the parameter drucker assigned to variable ?l_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=33 has the parameter flugzeugairfrance assigned to variable ?l_v of sort Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugAirFrance for which the parameter flugzeugairfrance is a lower case version. I'm using this one.
New constant is fine.
Task with id=33 has the parameter flughafenparis assigned to variable ?l_l of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=34 has the parameter flugzeugairfrance assigned to variable ?acr_ap of sort Airplane - but the parameter is not a member of this sort.
Found constant FlugzeugAirFrance for which the parameter flugzeugairfrance is a lower case version. I'm using this one.
New constant is fine.
Task with id=34 has the parameter plane_rampparis assigned to variable ?acr_pr of sort Plane_Ramp - but the parameter is not a member of this sort.
Found constant Plane_RampParis for which the parameter plane_rampparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=34 has the parameter flughafenparis assigned to variable ?acr_l of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=35 has the parameter flugzeugairfrance assigned to variable ?od_rv of sort Regular_Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugAirFrance for which the parameter flugzeugairfrance is a lower case version. I'm using this one.
New constant is fine.
Task with id=36 has the parameter drucker assigned to variable ?lp_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=36 has the parameter flugzeugairfrance assigned to variable ?lp_v of sort Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugAirFrance for which the parameter flugzeugairfrance is a lower case version. I'm using this one.
New constant is fine.
Task with id=36 has the parameter flughafenparis assigned to variable ?lp_l of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=37 has the parameter flugzeugairfrance assigned to variable ?cd_rv of sort Regular_Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugAirFrance for which the parameter flugzeugairfrance is a lower case version. I'm using this one.
New constant is fine.
Task with id=38 has the parameter flugzeugairfrance assigned to variable ?dcr_ap of sort Airplane - but the parameter is not a member of this sort.
Found constant FlugzeugAirFrance for which the parameter flugzeugairfrance is a lower case version. I'm using this one.
New constant is fine.
Task with id=38 has the parameter plane_rampparis assigned to variable ?dcr_pr of sort Plane_Ramp - but the parameter is not a member of this sort.
Found constant Plane_RampParis for which the parameter plane_rampparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=38 has the parameter flughafenparis assigned to variable ?dcr_l of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=39 has the parameter flugzeugairfrance assigned to variable ?hmnt_v of sort Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugAirFrance for which the parameter flugzeugairfrance is a lower case version. I'm using this one.
New constant is fine.
Task with id=39 has the parameter flughafenparis assigned to variable ?hmnt_o of sort Location - but the parameter is not a member of this sort.
Found constant FlughafenParis for which the parameter flughafenparis is a lower case version. I'm using this one.
New constant is fine.
Task with id=39 has the parameter paris_london_air_route assigned to variable ?hmnt_r of sort Route - but the parameter is not a member of this sort.
Found constant Paris_London_Air_Route for which the parameter paris_london_air_route is a lower case version. I'm using this one.
New constant is fine.
Task with id=39 has the parameter heathrowairport assigned to variable ?hmnt_d of sort Location - but the parameter is not a member of this sort.
Found constant HeathrowAirport for which the parameter heathrowairport is a lower case version. I'm using this one.
New constant is fine.
Task with id=40 has the parameter drucker assigned to variable ?ul_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=40 has the parameter flugzeugairfrance assigned to variable ?ul_v of sort Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugAirFrance for which the parameter flugzeugairfrance is a lower case version. I'm using this one.
New constant is fine.
Task with id=40 has the parameter heathrowairport assigned to variable ?ul_l of sort Location - but the parameter is not a member of this sort.
Found constant HeathrowAirport for which the parameter heathrowairport is a lower case version. I'm using this one.
New constant is fine.
Task with id=41 has the parameter flugzeugairfrance assigned to variable ?acr_ap of sort Airplane - but the parameter is not a member of this sort.
Found constant FlugzeugAirFrance for which the parameter flugzeugairfrance is a lower case version. I'm using this one.
New constant is fine.
Task with id=41 has the parameter plane_rampheathrow assigned to variable ?acr_pr of sort Plane_Ramp - but the parameter is not a member of this sort.
Found constant Plane_RampHeathrow for which the parameter plane_rampheathrow is a lower case version. I'm using this one.
New constant is fine.
Task with id=41 has the parameter heathrowairport assigned to variable ?acr_l of sort Location - but the parameter is not a member of this sort.
Found constant HeathrowAirport for which the parameter heathrowairport is a lower case version. I'm using this one.
New constant is fine.
Task with id=42 has the parameter flugzeugairfrance assigned to variable ?od_rv of sort Regular_Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugAirFrance for which the parameter flugzeugairfrance is a lower case version. I'm using this one.
New constant is fine.
Task with id=43 has the parameter drucker assigned to variable ?up_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Task with id=43 has the parameter flugzeugairfrance assigned to variable ?up_v of sort Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugAirFrance for which the parameter flugzeugairfrance is a lower case version. I'm using this one.
New constant is fine.
Task with id=43 has the parameter heathrowairport assigned to variable ?up_l of sort Location - but the parameter is not a member of this sort.
Found constant HeathrowAirport for which the parameter heathrowairport is a lower case version. I'm using this one.
New constant is fine.
Task with id=44 has the parameter flugzeugairfrance assigned to variable ?cd_rv of sort Regular_Vehicle - but the parameter is not a member of this sort.
Found constant FlugzeugAirFrance for which the parameter flugzeugairfrance is a lower case version. I'm using this one.
New constant is fine.
Task with id=45 has the parameter flugzeugairfrance assigned to variable ?dcr_ap of sort Airplane - but the parameter is not a member of this sort.
Found constant FlugzeugAirFrance for which the parameter flugzeugairfrance is a lower case version. I'm using this one.
New constant is fine.
Task with id=45 has the parameter plane_rampheathrow assigned to variable ?dcr_pr of sort Plane_Ramp - but the parameter is not a member of this sort.
Found constant Plane_RampHeathrow for which the parameter plane_rampheathrow is a lower case version. I'm using this one.
New constant is fine.
Task with id=45 has the parameter heathrowairport assigned to variable ?dcr_l of sort Location - but the parameter is not a member of this sort.
Found constant HeathrowAirport for which the parameter heathrowairport is a lower case version. I'm using this one.
New constant is fine.
Task with id=46 has the parameter drucker assigned to variable ?dp_p of sort Package - but the parameter is not a member of this sort.
Found constant Drucker for which the parameter drucker is a lower case version. I'm using this one.
New constant is fine.
Tasks declared in plan actually exist and can be instantiated as given: true
Methods don't contain duplicate subtasks: true
Methods don't contain orphaned tasks: true
Methods can be instantiated: true
Order induced by methods is present in plan: true
Plan is executable: true
Plan verification result: true