create implication pawn -> chess_piece
create implication rook_(chess) -> chess_piece
create implication knight_(chess) -> chess_piece
create implication bishop_(chess) -> chess_piece
create implication queen_(chess) -> chess_piece
create implication king_(chess) -> chess_piece