premise: the separation of church and state
hypothesis: a specific type of separation is freetail (or free-tailed bat, freetailed bat), defined as 'small swift insectivorous bat with leathery ears and a long tail; common in warm regions' .