mnli premise: Take a left turn here on the B6318 and after 6 km (4 miles) you will see the sign for Birdoswald. hypothesis: If you travel for 6 kilometers after taking a left turn you'll see the sign for Birdoswald.