automated-reasoning public under artificial-intelligence 240 List Picture As a command %3 n0 automated-reasoning n1 artificial-intelligence n1->n0