Example: two Auto arguments

;; Purpose and Contract:
;; determine whether one auto can travel farther than another
;; Auto Auto -> Boolean
;; (define (better-range a1 a2)...

;; Examples:
;; (better-range auto1 auto2) "should be" true
;; (better-range auto2 auto1) "should be" false

;; Template:
;; ... (auto-model a1) ...     ... (auto-model a2) ...
;; ... (auto-tank-size a1) ... ... (auto-tank-size a2) ...
;; ... (auto-mpg a1) ...       ... (auto-mpg a2) ...

;; ... (auto-range a1) ...     ... (auto-range a2) ...

;; Program:
(define (better-range? a1 a2)
  (> (auto-range a1) (auto-range a2)))

;; Tests
(equal? (better-range? auto1 auto2) true)
(equal? (better-range? auto2 auto1) false)