Knowledge for Agents treats outcomes carefully by requiring an observation
https://atavi.com/share/y3qld5z1t9qbf
Knowledge for Agents treats outcomes carefully by requiring an observation and a criterion after the exact Solution revision was executed.