#!/usr/bin/env python3 def procedures(Model): prods = [] motor_press_result = Model.productionstring( name = "motor_press_result", string=""" =g> isa math_goal op type_ans result2 ~None result2 =result ==> =g> isa math_goal op press_tens arg1 =result ones1 None tens1 None """ ) motor_press_tens = Model.productionstring( name = "motor_press_tens", string=""" =g> isa math_goal op press_tens tens1 ~None tens1 =key ?manual> state free ==> =g> isa math_goal op press_ones +manual> isa _manual cmd press_key key =key """ ) motor_press_ones = Model.productionstring( name = "motor_press_ones", string=""" =g> isa math_goal op press_ones ones1 ~None ones1 =key ?manual> state free ==> =g> isa math_goal op press_continue +manual> isa _manual cmd press_key key =key """ ) motor_press_continue = Model.productionstring( name = "motor_press_continue", string=""" =g> isa math_goal op press_continue ?manual> state free ==> =g> isa math_goal op None +manual> isa _manual cmd press_key key 'space' """ ) return prods