first-order theory - German English Dictionary