for A being QC-alphabet
for P being QC-pred_symbol of A holds P is QC-pred_symbol of (the_arity_of P),A