Task: Discourse Connective Identification
Input (English): Sentence 1:Such a restriction lowers the proof - theoretic strength of the system significantly . Sentence 2:For example , the system ACA described below is equiconsistent with Peano arithmetic .
Output (English): for example