option public under cognition 1725, contract 116 List Picture As a command %3 n0 option n3 call-option n0->n3 n4 default-option n0->n4 n5 possibility n0->n5 n6 put-option n0->n6 n1 cognition n1->n0 n2 contract n2->n0