Trying to find particular Example

[Dwane]

Hi,

Could someone point me to an example, where ONA does not make progress after 1 inference step, but makes better or bigger derived inference? Does such an example exist?

many thanks

Dwane

[Patrick Hammer]

Hi Dwane!

I'm not sure what you mean, as 1 inference step doesn't get far.

Many of the examples are multistep, e.g. need the system to derive results using multiple inference steps, and sometimes demand the system to invoke operations based on the derivations it makes.

Best regards,

Patrick