Hüperonüümid:
väide 2(n)
eeldus 2(n), premiss 1(n)

otsustus, millest saab tuletada järelduse (EKSS)