@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix mon: <http://www.semwebtech.org/mondial/10/meta#>.
@prefix swrl: <http://www.w3.org/2003/11/swrl#>.
@prefix : <foo://bla/>.

:x a swrl:Variable.   :y a swrl:Variable.     :z a swrl:Variable.
:ProvBigCityRule a swrl:Imp;
 swrl:head ([ a swrl:ClassAtom; swrl:classPredicate :ProvinceWithBigCity; swrl:argument1 :x]);
 swrl:body ([ a swrl:ClassAtom; swrl:classPredicate mon:Province; swrl:argument1 :x ]
            [ a swrl:ClassAtom; swrl:classPredicate :BigCity; swrl:argument1 :y ]
            [ a swrl:IndividualPropertyAtom; swrl:propertyPredicate mon:hasCity;
              swrl:argument1 :x ; swrl:argument2 :y ]).

:TwoProvsRule a swrl:Imp;
 swrl:head ([ a swrl:ClassAtom; swrl:classPredicate :CountryWithTwoBigCities; swrl:argument1 :x]);
 swrl:body ([ a swrl:ClassAtom; swrl:classPredicate mon:Country; swrl:argument1 :x ]
            [ a swrl:ClassAtom; swrl:classPredicate :ProvinceWithBigCity; swrl:argument1 :y ]
            [ a swrl:ClassAtom; swrl:classPredicate :ProvinceWithBigCity; swrl:argument1 :z ]
            [ a swrl:IndividualPropertyAtom; swrl:propertyPredicate mon:hasProvince;
              swrl:argument1 :x ; swrl:argument2 :y ]
            [ a swrl:IndividualPropertyAtom; swrl:propertyPredicate mon:hasProvince;
              swrl:argument1 :x ; swrl:argument2 :z ]
            [ a swrl:DifferentIndividualsAtom; swrl:argument1 :y ; swrl:argument2 :z ]).