obtuse-triangle public under triangle 7 List Picture As a command %3 n0 obtuse-triangle n1 triangle n1->n0