L@BIT(WASQ).
L@BIT(PETQ).
L@BIT(VENQ).
L@BIT(KOLQ).
L@BIT(MA[A).
L@BIT(KATQ).
L@BIT(X,Y):-L@BIT(X),L@BIT(Y).
                                                                                                                                                                                                                                                                                                                                                                                                  