map F1 to ConqueTerm.