Marion Barry stepped down as mayor of Washington, D.C.
Marion Barry had to be forced out of office.
mnli hypothesis: Marion Barry had to be forced out of office. premise: Marion Barry stepped down as mayor of Washington, D.C.