(assert-event (=(set0 (list (cons "Alice" "Mike")
(cons "Mike" "Julia")
(cons "Julia" "Kenny")
(cons "Alice" "Kenny"))
(list "Alice" "Julia")))
(list "Mike" "Kenny" "Mike" "Kenny"))
ACL2 Error in macro expansion: A non-even key/value arglist was encountered
while macro expanding
(ASSERT-EVENT (= (SET0 (LIST (CONS "Alice" "Mike")
(CONS "Mike" "Julia")
(CONS "Julia" "Kenny")
(CONS "Alice" "Kenny"))
(LIST "Alice" "Julia")))
(LIST "Mike" "Kenny" "Mike" "Kenny")).
The argument list for ASSERT-EVENT is
(FORM &KEY ON-SKIP-PROOFS MSG).