An SEC representative informed us that SEC began using a contractor's software 2 to 3 years ago to facilitate the use of frequent flyer mileage.
The contractor's software has been used for several years to facilitate the use of frequent flyer mileage.
mnli hypothesis: The contractor's software has been used for several years to facilitate the use of frequent flyer mileage. premise: An SEC representative informed us that SEC began using a contractor's software 2 to 3 years ago to facilitate the use of frequent flyer mileage.