s0  ,  s1  {  p0  :  v0  ;  p1  :  v1  }