AnalyzerSentence analysis4SpansSentence定理を証明する。1000 character limitAnalyzeSentence定てい理りを証しょう明めいする。Span Details定てい理りtheorem; propositionnounをobject markergrammar証しょう明めいproof; verification; certificationnoun, suru verbする。light/support verb with a noun or noun-like phrasegrammar
