In the 1970s and 1980s, the agency made increasing use of computers in its audit and administrative operations.
The agency didn't use computers until the 2000s.
mnli hypothesis: The agency didn't use computers until the 2000s. premise: In the 1970s and 1980s, the agency made increasing use of computers in its audit and administrative operations.