sp {propose*add
	(state <s> ^io.input-link <il>)
	(<il> ^add <count>)
	(<count> ^value1 <value1> ^value2 <value2>)
-->
	(<s> ^operator <o> + =)
	(<o> ^name add ^value1 <value1> ^value2 <value2>)}

sp {apply*add
	(state <s> ^operator <o> ^io.output-link <ol>)
	(<o> ^name add ^value1 <value1> ^value2 <value2>)
-->
	(<ol> ^result <r>)
	(<r> ^total (+ <value1> <value2>))}

sp {remove*complete*commands
	(state <s> ^operator <o> ^io.output-link <ol>)
    	(<ol> ^<attr> <val>)
	(<val> ^status complete)
-->	
	(<ol> ^<attr> <val> -)}