mnli premise: He said that in the mid-1990s, his command attempted to, but could not, find an effective program for capturing and using employees' official frequent flyer miles anywhere in DOD. hypothesis: They were finally figured out how to use them outside of DOD, but were never able to use them in DOD.