a+b=>c+d. c+d=>e. e=>c. e=>f. prolog('writeln("The model is rate independent: partial loop leakage with or-fork")').
