Supposing, for instance, that they should suddenly hail a taxi? 
There are taxis available for use.
mnli hypothesis: There are taxis available for use. premise: Supposing, for instance, that they should suddenly hail a taxi? 