premise: the tunnel reduced congestion at that intersection
hypothesis: a specific type of tunnel is genus digitalis (or genus Digitalis), defined as 'genus of Eurasian herbs having alternate leaves and racemes of showy bell-shaped flowers' .