Premise: The San Nicolao Tunnel is a motorway tunnel in the Swiss canton of Ticino. The tunnel is situated under the Monte Ceneri Pass that separates the north of the canton around Bellinzona from the south of the canton around Lugano. It forms part of the A2 motorway that links the north of Switzerland with Italy. It was completed in 1984, and is 1412 m in length.
Hypothesis: It forms part of the A2 motorway that links the north of Switzerland with Italy. It was completed in 1984 with no setbacks, and is 1412 m in length.