Class SemanticContext.CommutativePredicate