Claim: Norway's gross domestic product is around a quarter petroleum.
Verdict: SUPPORTS