Analyzer
Sentence analysis
8Spans
Sentence
Span Details
関数
function (mathematics); function (programming)noun
の
possession, attribution, nominalizer, or nominal linkergrammar
事後条件
postconditionnoun
を
object markergrammar
満たす
satisfy; meet; fulfill; gratify; fill; pack; supplygodan verb
ように
so that; in order togrammar
実装
implementation; installation; mounting; packagingnoun, suru verb
する。
light/support verb with a noun or noun-like phrasegrammar