first-order theory - French English Dictionary