Analyzer
Sentence analysis
10Spans
Sentence
Span Details
型理論
type theorynoun
では、
contrastive で + は; then; well thengrammar
カインド
kind; sort; type; kind (nature); of a kind; kind (type theory)noun, noun-modifying
は
topic markergrammar
型
type; style; model; pattern; mold; template; impression; kata (martial arts form); style (kabuki, noh); convention; tradition; standard form; formula; size; inches (display size); taxonomical formnoun, noun suffix
の
possession, attribution, nominalizer, or nominal linkergrammar
型
type; style; model; pattern; mold; template; impression; kata (martial arts form); style (kabuki, noh); convention; tradition; standard form; formula; size; inches (display size); taxonomical formnoun, noun suffix
として
as; in the role ofgrammar
定義
definitionnoun, suru verb
される。
passive, potential, or respect auxiliarygrammar