包摂推理

せつ・すhōsetsu·suiri5

N.
Subsumtionsinferenz f f; Subsumtionsschluss m m.