integer public under rational-number 8 List Picture As a command %3 n0 integer n2 natural-number n0->n2 n3 even-number n0->n3 n4 odd-number n0->n4 n1 rational-number n1->n0