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