for Al being QC-alphabet
for k being Nat
for l being CQC-variable_list of k,Al
for P being QC-pred_symbol of k,Al holds the_arity_of P = len l