I think they can already do this sort of reasoning to a significant extent... at least for simple stuff.