((license "Public Domain") (category logic) (author "Evan Hanson") (synopsis "Raymond Smullyan's combinator birds"))