Previous: Inference knowledge Up: Propose & revise
___________________________________________________