s  {  p0  :  v0  ;  p1  :  v1  }