Analyzer
Sentence analysis
10Spans
Sentence
Span Details
この
this; last (couple of years, etc.); these; past; you (as in "you liar")-> 此のpre-noun adjective
定理
theorem; propositionnoun
は
topic markergrammar
システム
systemnoun
の
possession, attribution, nominalizer, or nominal linkergrammar
完全性
completeness; integritynoun
を
object markergrammar
証明
proof; verification; certificationnoun, suru verb
し
light/support verb with a noun or noun-like phrase-> するgrammar
ている。
ongoing or resultant stategrammar