Create parentheses rules in the structural operational semantics for S$1$;$($S$2$;S$3)$ and $($S$1$;S$2)$;S$1$ and prove that they are semantically equivalent to each other in the operational Semantics $.$

Based on the book Semantics with Applications Appetizer by bruni