anchor.diff:          (fail))))
   
   (defun transitive-verb-args (verb)
  -  (if (verb-transitive-p verb)
  +  (if (not (verb-transitive-p verb))
  +      (fail)
         (=let* ((_ (ws))
                 (direct-objects (noun-clause))
                 (preposition (maybe (=prog2 (ws) (preposition verb) (ws))))
  
positive.code:                (_ (ws))
                 (direct-objects (noun-clause)))
           (result `((:direct-objects . ,direct-objects)
                     (:indirect-objects . ,indirect-objects)))))
        (fail)))
  
  (defun intransitive-verb-args (verb)
    (if (verb-intransitive-p verb)
        (=let* ((preposition (maybe (=prog2 (ws) (preposition verb) (ws))))
                (indirect-objects (if preposition
                                      (noun-clause)
                                      (result nil))))
          (result `((:indirect-objects . ,indirect-objects)
                    (:preposition . ,preposition))))
        (fail)))
  
  (defun verb-args (verb)
    (=or (transitive-verb-args verb)
  
negative.code:                                     (result nil))))
          (result `((:direct-objects . ,direct-objects)
                    (:preposition . ,preposition)
                    (:indirect-objects . ,indirect-objects))))))
  
  (defun ditransitive-verb-args (verb)
    (if (not (verb-ditransitive-p verb))
        (fail)
        (=or
         (=let* ((_ (ws))
                 (direct-objects (noun-clause))
  