YES

2 decompositions
 #0 -----------
   1: from(x) -> :(x,from(s(x)))

 #1 -----------
   2: sel(0(),:(y,z)) -> y
   3: sel(s(x),:(y,z)) -> sel(x,z)

@Mutually Orthogonal
--- R
   1: from(x) -> :(x,from(s(x)))

--- S
   1: from(x) -> :(x,from(s(x)))


@Mutually Orthogonal
--- R
   2: sel(0(),:(y,z)) -> y
   3: sel(s(x),:(y,z)) -> sel(x,z)

--- S
   2: sel(0(),:(y,z)) -> y
   3: sel(s(x),:(y,z)) -> sel(x,z)