sentences: the sun is a kind of yellow dwarf & a yellow dwarf is a kind of main sequence star ->  the sun is a kind of main sequence star  the sun is a kind of main sequence star & alpha mensae is a kind of main sequence star -> the sun and alpha mensae are both main sequence star