@dorait Yes, adding knowledge fails for everything except most basic stmts. Did u hear abt this one from Wolfram http://bit.ly/A2De8