quantifier-free conjunctive-normal form

ashpan blower valve carpolith cathodic potential resistance test of coating cattishness decapod crustacean Fraunhofer intensity distribution hand brake lever operating stop hydrocoral m-Carboxyphenylalanine metonomatosis minimum hold circuit neo-Luddite pre-erection outfitting Prevention of Terrorism Act retrieval operation rumblegarie slavers surculoside telescope-feed joint ticket-booth