Error while parsing few domains from the FOND benchmark

[nitinef]

The PyPDDL parser fails at these FOND domains (from the fond-sat repo):

• Earth Observation domain_earth_observation.txt

REMOVE METRIC STATEMENTS - the rest is fixed

• Faults domain_faults.txt

replace (and) with (and (true)) and add predicate (true)

• First Responders domain_first_responders.txt

lots of :requirements not accounted before, now they are

still there are many non-detet effects of the form (and) , they should be replaced with (and (true))

• Spiky Tireworld domain_spiky_tireworld.txt

one (and) to fix

• Tireworld domain_tireworld.txt

one (and) to fix

• Tireworld Truck domain_tireworld_truck.txt

two (and) to fix

• Zenotravel domain_zenotravel.txt

This has a forall that is not yet handled:

[ssardina]

OK this seems to be due to metrics:

[ssardina]

Another issue is the use of constants, that is much more basic and should be incorporated into the parser for sure:

[ssardina]

faults is now working but we need to fix this which is very bad:

Add predicate true and use:

[ssardina]

• Zenotravel domain_zenotravel.txt

This has a forall that is not yet handled: