computepay: Payroll  ? Rat 
 
 
computepay: Payroll  ? Rat 
computepay(emp) = multrat(emp ? 2)(emp ? 3)
Note: (a1, a2, .., an) ? i = ai
Example: 
compute-pay(upd-hours(35, newemp (“j.Doe”)))
= … 
< expand newemp, then upd-hours, then simplify, then expand compute-pay> ….
…...
= multrat (minwage)(35)