#!/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 expand nextop press_tens arg2 =result ones1 None ones2 None tens2 None """ ) motor_press_tens = Model.productionstring( name = "motor_press_tens", string=""" =g> isa math_goal op press_tens tens2 ~None tens2 =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 ones2 ~None ones2 =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