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