<S1> {
  <p1> [<o1>]
}
