prenex-normal form

analogism betzig brothier carboxylmethyltransferases estating existing mortgage gravedance guided missile target halftimber hypothecium ill-posed problem magnetic electron spectrometer milieu therapy Mohs' hardness scale multibacillary niddle-noddled stand improvement stand-by time record tragopan Van, value-added network.