nayana-c1.867c992ae9100904cc61c84591adf0f8f863e0387e30f0d0dbc86640e9f50a1a.en.test.15030

The task

Which of the following is NOT typically considered a reasonable correctness criterion for a proof net? A. The property of being the translation of a sequent proof B. An intrinsic property defined on the structure of the proof net C. A property that distinguishes proof nets from proof structures D. An algorithm that produces a sequent proof from a proof structure Return only the single uppercase letter of the correct option.