actually the verbose notation of patterns is
forall forall [ $d is-a document ].....
forall exists [ $d is-a document ].....
this is, of course, elisioned away
forall [ $d is-a document ]....
