The expressive power of structural operational semantics with explicit assumptions