Document( Prefix(ex ) Group ( Forall ?x ( ex:A(?x) ) ) )