In this mode one rule application is performed in a single step. If several applications are possible, only the first one is chosen. One rule application means replacing one match.

Assuming a rule A ==> B is applied on an axiom A A in sequential_mode the result after the first step would be B A and after the second step B B