[Technical Report] Use achieving level to determine which tasks should be derived

[ccrock4t]

Technical Report

After a task has been selected for inference, the inference rules (e.g., revision) decide the extent to which the task has been achieved, as well as what tasks to derive from them as means to further achieve the task

More Info

Currently, achieving level seems only used to reduce the Task's budget. It is not used for anything else.