(<=> (Commutative ?Op ?Domain) (Forall (?X ?Y) (=> (Instance-Of ?X ?Domain) (Instance-Of ?Y ?Domain) (= (Value ?Op ?X ?Y) (Value ?Op ?Y ?X)))))