Everyone at the business conference who is an ardent communist prefers state ownership of the means of production.
∀x ((At(x, businessConference) ∧ ArdentCommunist(x)) → Prefer(x, stateOwnershipOfMeansOfProduction))