(note TQLIST1)
(category general)

(query
  (instance (ListFn A B C) List))

(answer yes)