proposition public under information 1698 List Picture As a command %3 n0 proposition n2 axiom n0->n2 n3 postulate n0->n3 n4 theorem n0->n4 n5 conjecture n0->n5 n6 logical-negation n0->n6 n7 non-sequitur n0->n7 n8 particular-proposition n0->n8 n9 premise n0->n9 n10 universal-proposition n0->n10 n1 information n1->n0