Crude Oil Data Exchange is limited.
Buisnesses are either sanctioned or unsanctioned. Sanctioned buisnesses are limited. Unsanctioned buisnesses are free. The Crude Oil Data Exchange is a buisness that isn't free.
∀x (Buisness(x) → Sanctioned(x) ⊕ ¬Sanctioned(x)) ∀x (Buisness(x) ∧ Sanctioned(x) → Limited(x)) ∀x (Buisness(x) ∧ ¬Sanctioned(x) → Free(x)) Buisness(crudeoildataexchange) ∧ ¬Free(crudeoildataexchange)