class of semi-computable predicate

auxiliary-station line filter cellini chipailium Edou ethylating Grays Peak hematization hotel china junebug left-hand stone linear isotropy group piwarrie put sb to the expense of single-use plans subsequent pick-up unwatch'd vibro-hoe voluntary sale welding connection wood blocks