[Maude-help] Overloading or membership ?

[Marc Boyer]

Hi,

I am a new maude user. I was wondering if overloading and membership
could do the same job, and if there is any pb with the assoc label.

Let be the following code:
 sort S .
 op _ + _ : S S -> S [assoc comm ctor] .
 sort S' .
 subsort S' < S .

What is the best solution ?
  op _ + _ : S' S' -> S' [ditto] .
or
  vars x y : S' .
  mb x + y : S' .

I am wondering if the assoc property will be lost by the membership
equation or not ?

Thank you,

Marc Boyer