Failing to parse numerical domains

[Martin36]

When I try to parse a numerical domain e.g. containing at least one function with a numerical output, the parsing fails with the error: tarski.errors.UndefinedElement: Undefined element "number" (error msg: None).

Here is a minimal example of this:

import tarski
from tarski.io import PDDLReader, FstripsWriter
from tarski.theories import Theory

theories = [Theory.EQUALITY, Theory.ARITHMETIC]

bw = tarski.language(name="bw", theories=theories)

block = bw.sort('block')

width = bw.function('width', block, bw.Real)

problem = tarski.fstrips.create_fstrips_problem(bw, problem_name='prob1', domain_name="bw")

writer = FstripsWriter(problem)
writer.write_domain('bw_domain.pddl')

reader = PDDLReader(raise_on_error=True, theories=theories)
reader.parse_domain('bw_domain.pddl')

It is based on the example from the documentation here: https://tarski.readthedocs.io/en/latest/notebooks/first-order-logics.html#Terms-and-Formulas

[miquelramirez]

Thanks for the report.