1. (assert-event (=(set0 (list (cons "Alice" "Mike")
  2.                             (cons "Mike" "Julia")
  3.                             (cons "Julia" "Kenny")
  4.                             (cons "Alice" "Kenny"))
  5.                       (list "Alice" "Julia")))
  6.               (list "Mike" "Kenny" "Mike" "Kenny"))
  7.  
  8. ACL2 Error in macro expansion:  A non-even key/value arglist was encountered
  9. while macro expanding 
  10. (ASSERT-EVENT (= (SET0 (LIST (CONS "Alice" "Mike")
  11.                              (CONS "Mike" "Julia")
  12.                              (CONS "Julia" "Kenny")
  13.                              (CONS "Alice" "Kenny"))
  14.                        (LIST "Alice" "Julia")))
  15.               (LIST "Mike" "Kenny" "Mike" "Kenny")).
  16. The argument list for ASSERT-EVENT is 
  17. (FORM &KEY ON-SKIP-PROOFS MSG).