add predadj rule to RelEx2logic