包摂推理ほうせつすいり<ほう'せつ>・すい'り5

SubsumtionsinferenzSubsumtionsschluss