premise: Smith replaced Miller as CEO after Miller left
hypothesis: a specific type of replaced is regulatory agency (or regulatory authority), defined as 'a governmental agency that regulates businesses in the public interest' .