higher-order term - German English Dictionary