We could implement a "release" block in the event reasoning that allows the user to specify that the fluent is no longer certain to hold, but it's not certain what value it would have at that time.
This would require a new block, new code generation, and very likely the pre-processing step would need to be updated on the reasoner.
We could implement a "release" block in the event reasoning that allows the user to specify that the fluent is no longer certain to hold, but it's not certain what value it would have at that time.
This would require a new block, new code generation, and very likely the pre-processing step would need to be updated on the reasoner.