On 11 Sep 2012, at 19:00, Theodore H. Smith <delete at elfdata.com> wrote: > So I was experimenting with different input in attempto, with "distributive quantifiers". I mean ACE... not attempto. -- http://jeebox.org/ "An extensible language for describing code, concepts and stories"