predicate logic with equality

aberrances aminopropanol campaign fire circular adsorption chromatography COM recorder congenital dermal melanocytosis content-based information retrieval cyclic coercivity dog fleas exciton laser LC (late commitment) Marmaduke nil-ductility transition temperature (ndt) oct- passive sleeve Pravoberezhnyy Rayon slowliest superheated steam discharge pipe thrilliest Victoria fast violet L