set k = the_arity_of P;
reconsider P9 = P as QC-pred_symbol of (the_arity_of P),Al by QC_LANG3:1;
P9 ! ll is Element of CQC-WFF Al ;
hence P ! ll is Element of CQC-WFF Al ; :: thesis: verum