Results 1 issues of maple

A,B and C is class. I want to show if letter is instance of A or B ,than this letter is instance of C. So I write this sqrl statement,...