#Processed by Id: cwm.py,v 1.129 2003/04/08 16:12:43 timbl Exp 
        #    using base file:/home/connolly/w3ccvs/WWW/2001/sw/WebOnt/
        Enter username for W3CACL at www.w3.org:80: Enter password for connolly in W3CACL at www.w3.org:80: 

#  Notation3 generation by
#       notation3.py,v 1.137 2003/04/08 16:12:44 timbl Exp

#   Base was: file:/home/connolly/w3ccvs/WWW/2001/sw/WebOnt/
     @prefix : <http://www.w3.org/2000/10/swap/pim/contact#> .
     @prefix apt: <http://www.megginson.com/exp/ns/airports#> .
     @prefix dbwg: <http://www.w3.org:80/2000/09/dbwg/vocab@@#> .
     @prefix dc: <http://purl.org/dc/elements/1.1/> .
     @prefix doc: <http://www.w3.org/2000/10/swap/pim/doc.n3#> .
     @prefix dot: <http://www.w3.org/2001/02pd/gv#> .
     @prefix h: <http://www.w3.org/1999/xhtml> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix mm: <missing-mem#> .
     @prefix mr: <http://www.w3.org/2000/11/mr76/minutes#> .
     @prefix ont: <http://www.daml.org/2001/03/daml+oil#> .
     @prefix org: <http://www.w3.org/2001/04/roadmap/org#> .
     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     @prefix rm: <http://www.w3.org/2001/04/roadmap/vocab#> .
     @prefix s: <http://www.w3.org/2000/01/rdf-schema#> .
     @prefix string: <http://www.w3.org/2000/10/swap/string#> .
    
    this     log:forAll mm:doc,
                mm:fname,
                mm:gname,
                mm:grp,
                mm:grpNum,
                mm:m2,
                mm:mbox,
                mm:pg,
                mm:sub,
                mm:who,
                <webont-charter.n3#doc>,
                <webont-charter.n3#grp>,
                <webont-charter.n3#org>,
                <webont-charter.n3#p>,
                <webont-charter.n3#who>;
         log:forSome <#_g0> .
      [      a org:WorkingGroup;
             mm:subscriptionPg <http://www.w3.org:80/2000/09/dbwg/detailsRDF.php3?group=30310>;
             :homePage <http://www.w3.org/2001/sw/WebOnt/>;
             :mailbox <mailto:www-webont-wg@w3.org>;
             org:chair  [
                 :company <#_g0>;
                 :familyName "Hendler";
                 :fullName "Jim Hendler";
                 :givenName "Jim";
                 :homePage <http://www.cs.umd.edu/~hendler/> ];
             org:charter <http://www.w3.org/2001/sw/WebOnt/charter>;
             org:teamContact  [
                 :familyName "Connolly";
                 :fullName "Dan Connolly";
                 :givenName "Dan" ];
             dbwg:group "30310" ].
    
    <#_g0>     s:label "Univ of Maryland" .
      [      org:representing <#_g0> ].
    
    <#_g1>     mm:subscriptionPg <http://www.w3.org:80/2000/09/dbwg/detailsRDF.php3?group=30310>;
         :homePage <http://www.w3.org/2001/sw/WebOnt/>;
         :mailbox <mailto:www-webont-wg@w3.org>;
         org:charter <http://www.w3.org/2001/sw/WebOnt/charter>;
         org:member <webont-nom.nt#_gnom10>,
                <webont-nom.nt#_gnom101>,
                <webont-nom.nt#_gnom102>,
                <webont-nom.nt#_gnom111>,
                <webont-nom.nt#_gnom112>,
                <webont-nom.nt#_gnom119>,
                <webont-nom.nt#_gnom120>,
                <webont-nom.nt#_gnom123>,
                <webont-nom.nt#_gnom124>,
                <webont-nom.nt#_gnom127>,
                <webont-nom.nt#_gnom13>,
                <webont-nom.nt#_gnom130>,
                <webont-nom.nt#_gnom131>,
                <webont-nom.nt#_gnom136>,
                <webont-nom.nt#_gnom137>,
                <webont-nom.nt#_gnom14>,
                <webont-nom.nt#_gnom140>,
                <webont-nom.nt#_gnom141>,
                <webont-nom.nt#_gnom147>,
                <webont-nom.nt#_gnom15>,
                <webont-nom.nt#_gnom150>,
                <webont-nom.nt#_gnom153>,
                <webont-nom.nt#_gnom156>,
                <webont-nom.nt#_gnom159>,
                <webont-nom.nt#_gnom162>,
                <webont-nom.nt#_gnom176>,
                <webont-nom.nt#_gnom179>,
                <webont-nom.nt#_gnom18>,
                <webont-nom.nt#_gnom182>,
                <webont-nom.nt#_gnom19>,
                <webont-nom.nt#_gnom191>,
                <webont-nom.nt#_gnom194>,
                <webont-nom.nt#_gnom201>,
                <webont-nom.nt#_gnom202>,
                <webont-nom.nt#_gnom205>,
                <webont-nom.nt#_gnom206>,
                <webont-nom.nt#_gnom209>,
                <webont-nom.nt#_gnom22>,
                <webont-nom.nt#_gnom222>,
                <webont-nom.nt#_gnom225>,
                <webont-nom.nt#_gnom232>,
                <webont-nom.nt#_gnom233>,
                <webont-nom.nt#_gnom236>,
                <webont-nom.nt#_gnom237>,
                <webont-nom.nt#_gnom242>,
                <webont-nom.nt#_gnom247>,
                <webont-nom.nt#_gnom248>,
                <webont-nom.nt#_gnom33>,
                <webont-nom.nt#_gnom34>,
                <webont-nom.nt#_gnom39>,
                <webont-nom.nt#_gnom4>,
                <webont-nom.nt#_gnom46>,
                <webont-nom.nt#_gnom49>,
                <webont-nom.nt#_gnom54>,
                <webont-nom.nt#_gnom59>,
                <webont-nom.nt#_gnom68>,
                <webont-nom.nt#_gnom7>,
                <webont-nom.nt#_gnom79>,
                <webont-nom.nt#_gnom80>,
                <webont-nom.nt#_gnom89>,
                <webont-nom.nt#_gnom90>,
                <webont-nom.nt#_gnom97>,
                <webont-nom.nt#_gnom98>;
         dbwg:group "30310" .
    
    <webont-nom.nt#_gnom10>     :familyName "Ned";
         :givenName "Smith";
         :mailbox <mailto:ned.smith@intel.com> .
    
    <webont-nom.nt#_gnom101>     :familyName "Lassila";
         :givenName "Ora";
         :mailbox <mailto:ora.lassila@nokia.com> .
    
    <webont-nom.nt#_gnom102>     :familyName "Stickler";
         :givenName "Patrick";
         :mailbox <mailto:patrick.stickler@nokia.com> .
    
    <webont-nom.nt#_gnom111>     :familyName "McGuinness";
         :givenName "Deborah";
         :mailbox <mailto:dlm@ksl.stanford.edu> .
    
    <webont-nom.nt#_gnom112>     :familyName "Decker";
         :givenName "Stefan";
         :mailbox <mailto:stefan@db.stanford.edu> .
    
    <webont-nom.nt#_gnom119>     :familyName "Stanton";
         :givenName "John";
         :mailbox <mailto:stantonj@ncr.disa.mil> .
    
    <webont-nom.nt#_gnom120>     :familyName "Barnette";
         :givenName "James";
         :mailbox <mailto:barnettj@ncr.disa.mil> .
    
    <webont-nom.nt#_gnom123>     :familyName "Stanton";
         :givenName "John";
         :mailbox <mailto:stantonj@ncr.disa.mil> .
    
    <webont-nom.nt#_gnom124>     :familyName "Barnette";
         :givenName "James";
         :mailbox <mailto:barnettj@ncr.disa.mil> .
    
    <webont-nom.nt#_gnom127>     :familyName "Shimizu";
         :givenName "Noboru";
         :mailbox <mailto:n-shimizu@ce.jp.nec.com>,
                <mailto:shimizu@intap.or.jp> .
    
    <webont-nom.nt#_gnom13>     :familyName "ter Horst";
         :givenName "Herman";
         :mailbox <mailto:herman.ter.horst@philips.com> .
    
    <webont-nom.nt#_gnom130>     :familyName "Hendler";
         :givenName "James";
         :mailbox <mailto:hendler@cs.umd.edu> .
    
    <webont-nom.nt#_gnom131>     :familyName "Finin";
         :givenName "Tim";
         :mailbox <mailto:finin@cs.umbc.edu> .
    
    <webont-nom.nt#_gnom136>     :familyName "Volz";
         :givenName "Raphael ";
         :mailbox <mailto:volz@fzi.de> .
    
    <webont-nom.nt#_gnom137>     :familyName "Maedche";
         :givenName "Alexander ";
         :mailbox <mailto:maedche@fzi.de> .
    
    <webont-nom.nt#_gnom14>     :familyName "ten Kate";
         :givenName "Warner";
         :mailbox <mailto:warner.ten.kate@philips.com> .
    
    <webont-nom.nt#_gnom140>     :familyName "IANNUZZELLI";
         :givenName "FRANCESCO";
         :mailbox <mailto:francesco.iannuzzelli@ivisgroup.com> .
    
    <webont-nom.nt#_gnom141>     :familyName "Brysse";
         :givenName "Frederik ";
         :mailbox <mailto:Frederik.Brysse@ivisgroup.com> .
    
    <webont-nom.nt#_gnom147>     :familyName "Hellman";
         :givenName "Ziv";
         :mailbox <mailto:ziv@unicorn.com> .
    
    <webont-nom.nt#_gnom15>     :familyName "Kravtsova";
         :givenName "Natasha Kravtsova";
         :mailbox <mailto:natasha.kravtsova@philips.com> .
    
    <webont-nom.nt#_gnom150>     :familyName "Fensel";
         :givenName "Dieter";
         :mailbox <mailto:dieter@cs.vu.nl> .
    
    <webont-nom.nt#_gnom153>     :familyName "Fensel";
         :givenName "Dieter";
         :mailbox <mailto:dieter@cs.vu.nl> .
    
    <webont-nom.nt#_gnom156>     :familyName "Motta";
         :givenName "Enrico";
         :mailbox <mailto:e.motta@open.ac.uk> .
    
    <webont-nom.nt#_gnom159>     :familyName "Motta";
         :givenName "Enrico";
         :mailbox <mailto:e.motta@open.ac.uk> .
    
    <webont-nom.nt#_gnom162>     :familyName "Olivry";
         :givenName "Laurent";
         :mailbox <mailto:Laurent.Olivry@edf.fr> .
    
    <webont-nom.nt#_gnom176>     :familyName "Wallace";
         :givenName "Evan";
         :mailbox <mailto:ewallace@cme.nist.gov> .
    
    <webont-nom.nt#_gnom179>     :familyName "Horan";
         :givenName "Bernard";
         :mailbox <mailto:bernard.horan@sun.com> .
    
    <webont-nom.nt#_gnom18>     :familyName "Klein";
         :givenName "Ruediger";
         :mailbox <mailto:ruediger.klein@daimlerchrysler.com> .
    
    <webont-nom.nt#_gnom182>     :familyName "Welty";
         :givenName "Christopher";
         :mailbox <mailto:welty@us.ibm.com> .
    
    <webont-nom.nt#_gnom19>     :familyName "Jeckle";
         :givenName "Mario";
         :mailbox <mailto:mario.jeckle@daimlerchrysler.com> .
    
    <webont-nom.nt#_gnom191>     :familyName "Crowther";
         :givenName "Peter";
         :mailbox <mailto:peter.crowther@networkinference.com> .
    
    <webont-nom.nt#_gnom194>     :familyName "Crowther";
         :givenName "Peter";
         :mailbox <mailto:peter.crowther@networkinference.com> .
    
    <webont-nom.nt#_gnom201>     :familyName "Euzenat";
         :givenName "J\u00E9;r\u00F4;me";
         :mailbox <mailto:Jerome.Euzenat@inrialpes.fr> .
    
    <webont-nom.nt#_gnom202>     :familyName "Baget";
         :givenName "Jean-Fran\u00E7;ois";
         :mailbox <mailto:Jean-Francois.Baget@inrialpes.fr> .
    
    <webont-nom.nt#_gnom205>     :familyName "Euzenat";
         :givenName "J\u00E9;r\u00F4;me";
         :mailbox <mailto:Jerome.Euzenat@inrialpes.fr> .
    
    <webont-nom.nt#_gnom206>     :familyName "Baget";
         :givenName "Jean-Fran\u00E7;ois";
         :mailbox <mailto:Jean-Francois.Baget@inrialpes.fr> .
    
    <webont-nom.nt#_gnom209>     :familyName "Bechhofer";
         :givenName "Sean";
         :mailbox <mailto:seanb@cs.man.ac.uk> .
    
    <webont-nom.nt#_gnom22>     :familyName "Breen";
         :givenName "Einar";
         :mailbox <mailto:einar.breen@adaptivemedia.net> .
    
    <webont-nom.nt#_gnom222>     :familyName "Horrocks";
         :givenName "Ian";
         :mailbox <mailto:horrocks@cs.man.ac.uk> .
    
    <webont-nom.nt#_gnom225>     :familyName "Patel-Schneider";
         :givenName "Peter";
         :mailbox <mailto:pfps@research.bell-labs.com> .
    
    <webont-nom.nt#_gnom232>     :familyName "Buswell";
         :givenName "Stephen";
         :mailbox <mailto:sb@stilo.com> .
    
    <webont-nom.nt#_gnom233>     :familyName "Pike";
         :givenName "Martin";
         :mailbox <mailto:mp@stilo.com> .
    
    <webont-nom.nt#_gnom236>     :familyName "Schreiber";
         :givenName "Guus";
         :mailbox <mailto:schreiber@swi.psy.uva.nl> .
    
    <webont-nom.nt#_gnom237>     :familyName "van Harmelen";
         :givenName "Frank";
         :mailbox <mailto:Frank.van.Harmelen@cs.vu.nl> .
    
    <webont-nom.nt#_gnom242>     :familyName "Smith";
         :givenName "Michael";
         :mailbox <mailto:michael.smith@eds.com> .
    
    <webont-nom.nt#_gnom247>     :familyName "Nicholas";
         :givenName "Gibbins";
         :mailbox <mailto:nmg@ecs.soton.ac.uk> .
    
    <webont-nom.nt#_gnom248>     :familyName "De Roure";
         :givenName "David";
         :mailbox <mailto:dder@ecs.soton.ac.uk> .
    
    <webont-nom.nt#_gnom33>     :familyName "Kohlhase";
         :givenName "Michael";
         :mailbox <mailto:kohlhase@ags.uni-sb.de> .
    
    <webont-nom.nt#_gnom34>     :familyName "Sintek";
         :givenName "Michael";
         :mailbox <mailto:sintek@dfki.uni-kl.de> .
    
    <webont-nom.nt#_gnom39>     :familyName "Lassila";
         :givenName "Ora";
         :mailbox <mailto:ora.lassila@nokia.com> .
    
    <webont-nom.nt#_gnom4>     :familyName "Horrocks";
         :givenName "Ian";
         :mailbox <mailto:horrocks@cs.man.ac.uk> .
    
    <webont-nom.nt#_gnom46>     :familyName "De Roo";
         :givenName "Jos";
         :mailbox <mailto:jos.deroo.jd@belgium.agfa.com> .
    
    <webont-nom.nt#_gnom49>     :familyName "Miller";
         :givenName "Libby";
         :mailbox <mailto:libby.miller@bristol.ac.uk> .
    
    <webont-nom.nt#_gnom54>     :familyName "Venigalla";
         :givenName "Laxman";
         :mailbox <mailto:lvenigalla@nisusinc.com> .
    
    <webont-nom.nt#_gnom59>     :familyName "Hurley";
         :givenName "Oisin ";
         :mailbox <mailto:ohurley@iona.com> .
    
    <webont-nom.nt#_gnom68>     :familyName "Thompson";
         :givenName "Lynne";
         :mailbox <mailto:lynne.thompson@unisys.com> .
    
    <webont-nom.nt#_gnom7>     :familyName "Dale";
         :givenName "Jonathan";
         :mailbox <mailto:jdale@fla.fujitsu.com> .
    
    <webont-nom.nt#_gnom79>     :familyName "Carroll";
         :givenName "Jeremy (John)";
         :mailbox <mailto:jeremy_carroll@hp.com> .
    
    <webont-nom.nt#_gnom80>     :familyName "Trastour";
         :givenName "David";
         :mailbox <mailto:david_trastour@hp.com> .
    
    <webont-nom.nt#_gnom89>     :familyName "Lassila";
         :givenName "Ora";
         :mailbox <mailto:ora.lassila@nokia.com> .
    
    <webont-nom.nt#_gnom90>     :familyName "Stickler";
         :givenName "Patrick";
         :mailbox <mailto:patrick.stickler@nokia.com> .
    
    <webont-nom.nt#_gnom97>     :familyName "Obrst";
         :givenName "Leo";
         :mailbox <mailto:lobrst@mitre.org> .
    
    <webont-nom.nt#_gnom98>     :familyName "Sabbouh";
         :givenName "Marwan";
         :mailbox <mailto:ms@mitre.org> .
    
    <http://www.w3.org/2001/sw/WebOnt/>     mm:memMissing  [
             :familyName "Ned";
             :givenName "Smith";
             :mailbox <mailto:ned.smith@intel.com> ],
                 [
             :familyName "Stickler";
             :givenName "Patrick";
             :mailbox <mailto:patrick.stickler@nokia.com> ],
                 [
             :familyName "Decker";
             :givenName "Stefan";
             :mailbox <mailto:stefan@db.stanford.edu> ],
                 [
             :familyName "Shimizu";
             :givenName "Noboru";
             :mailbox <mailto:n-shimizu@ce.jp.nec.com>,
                    <mailto:shimizu@intap.or.jp> ],
                 [
             :familyName "ten Kate";
             :givenName "Warner";
             :mailbox <mailto:warner.ten.kate@philips.com> ],
                 [
             :familyName "Jeckle";
             :givenName "Mario";
             :mailbox <mailto:mario.jeckle@daimlerchrysler.com> ],
                 [
             :familyName "Breen";
             :givenName "Einar";
             :mailbox <mailto:einar.breen@adaptivemedia.net> ],
                 [
             :familyName "Kohlhase";
             :givenName "Michael";
             :mailbox <mailto:kohlhase@ags.uni-sb.de> ],
                 [
             :familyName "Miller";
             :givenName "Libby";
             :mailbox <mailto:libby.miller@bristol.ac.uk> ],
                 [
             :familyName "Venigalla";
             :givenName "Laxman";
             :mailbox <mailto:lvenigalla@nisusinc.com> ],
                 [
             :familyName "Hurley";
             :givenName "Oisin ";
             :mailbox <mailto:ohurley@iona.com> ];
         mm:memScrape <webont-mem-pub.rdf> .
    
    <http://www.w3.org:80/2000/09/dbwg/detailsRDF.php3?group=30310>     mm:missingSubscription  [
             :mailbox <mailto:ned.smith@intel.com> ],
                 [
             :mailbox <mailto:patrick.stickler@nokia.com> ],
                 [
             :mailbox <mailto:stefan@db.stanford.edu> ],
                 [
             mm:maybeSubscribedAs <mailto:shimizu@intap.or.jp>;
             :mailbox <mailto:n-shimizu@ce.jp.nec.com>,
                    <mailto:shimizu@intap.or.jp> ],
                 [
             :mailbox <mailto:warner.ten.kate@philips.com> ],
                 [
             :mailbox <mailto:dieter@cs.vu.nl> ],
                 [
             :mailbox <mailto:mario.jeckle@daimlerchrysler.com> ],
                 [
             mm:maybeSubscribedAs <mailto:peter.crowther@melandra.com>;
             :mailbox <mailto:peter.crowther@networkinference.com> ],
                 [
             :mailbox <mailto:einar.breen@adaptivemedia.net> ],
                 [
             mm:maybeSubscribedAs <mailto:schreiber@cs.vu.nl>;
             :mailbox <mailto:schreiber@swi.psy.uva.nl> ],
                 [
             :mailbox <mailto:kohlhase@ags.uni-sb.de> ],
                 [
             mm:maybeSubscribedAs <mailto:jos.deroo@agfa.com>;
             :mailbox <mailto:jos.deroo.jd@belgium.agfa.com> ],
                 [
             :mailbox <mailto:libby.miller@bristol.ac.uk> ],
                 [
             :mailbox <mailto:lvenigalla@nisusinc.com> ],
                 [
             :mailbox <mailto:ohurley@iona.com> ],
                 [
             mm:maybeSubscribedAs <mailto:Lynne.Thompson@unisys.com>;
             :mailbox <mailto:lynne.thompson@unisys.com> ],
                 [
             mm:maybeSubscribedAs <mailto:Jeremy_Carroll@hp.com>;
             :mailbox <mailto:jeremy_carroll@hp.com> ] .
    {
        mm:grp     org:charter <http://www.w3.org/2001/sw/WebOnt/charter> .
        
        }     log:implies {mm:grp     :homePage <http://www.w3.org/2001/sw/WebOnt/>;
             :mailbox <mailto:www-webont-wg@w3.org>;
             dbwg:group "30310" .
        } .
    {
        mm:who     :mailbox <mailto:n-shimizu@ce.jp.nec.com> .
        
        }     log:implies {mm:who     :mailbox <mailto:shimizu@intap.or.jp> .
        } .
    {
        
          [      :company <webont-charter.n3#org> ].
        
        }     log:implies {
          [      org:representing <webont-charter.n3#org> ].
        } .
    {
        <webont-roll.rdf>     log:semantics  [
                 log:includes {mm:grp     org:charter mm:doc;
                     org:member mm:who .
                mm:who     :familyName mm:fname;
                     :givenName mm:gname;
                     :mailbox mm:mbox .
                } ] .
        
        }     log:implies {mm:grp     org:charter mm:doc;
             org:member mm:who .
        mm:who     :familyName mm:fname;
             :givenName mm:gname;
             :mailbox mm:mbox .
        } .
    {
        
          [      :familyName mm:fname;
                 :mailbox mm:m2 ].
        mm:pg     mm:missingSubscription mm:sub;
             log:semantics  [
                 log:includes {
                  [      :familyName mm:fname;
                         :mailbox mm:mbox ].
                } ] .
        mm:sub     :mailbox mm:m2 .
        
        }     log:implies {mm:sub     mm:maybeSubscribedAs mm:mbox .
        } .
    {
        
          [      dc:creator  [
                     :company <webont-charter.n3#org> ];
                 org:nominates <webont-charter.n3#who> ].
        <webont-charter.n3#grp>     a org:WorkingGroup;
             org:charter <webont-charter.n3#doc> .
        <webont-charter.n3#org>     org:noIPRre <webont-charter.n3#doc> .
        <webont-charter.n3#p>     org:representing <webont-charter.n3#org> .
        
        }     log:implies {<webont-charter.n3#grp>     <webont-charter.n3#p> <webont-charter.n3#who>;
             org:member <webont-charter.n3#who> .
        } .
    {
        
          [      dc:creator  [
                     :company <webont-charter.n3#org> ];
                 org:nominates <webont-charter.n3#who> ].
        <webont-charter.n3#grp>     a org:WorkingGroup;
             org:charter <webont-charter.n3#doc> .
        <webont-charter.n3#org>     org:disclosedIPRre <webont-charter.n3#doc> .
        <webont-charter.n3#p>     org:representing <webont-charter.n3#org> .
        
        }     log:implies {<webont-charter.n3#grp>     <webont-charter.n3#p> <webont-charter.n3#who>;
             org:member <webont-charter.n3#who> .
        } .
    {
        mm:grp     mm:subscriptionPg mm:pg;
             org:charter mm:doc;
             org:member mm:who .
        mm:pg     log:semantics  [
                 log:notIncludes {
                  [      org:member  [
                             :mailbox mm:mbox ] ].
                } ] .
        mm:who     :familyName mm:fname;
             :givenName mm:gname;
             :mailbox mm:mbox .
        
        }     log:implies {mm:pg     mm:missingSubscription  [
                 :mailbox mm:mbox ] .
        } .
    {
        
          [      :homePage mm:pg;
                 org:charter mm:doc;
                 org:member mm:who ].
        mm:pg     mm:memScrape  [
                 log:semantics  [
                     log:notIncludes {
                      [      org:charter <http://www.w3.org/2001/sw/WebOnt/charter>;
                             org:member  [
                                 :mailbox mm:mbox ] ].
                    } ] ] .
        mm:who     :familyName mm:fname;
             :givenName mm:gname;
             :mailbox mm:mbox .
        
        }     log:implies {mm:pg     mm:memMissing  [
                 :familyName mm:fname;
                 :givenName mm:gname;
                 :mailbox mm:mbox ] .
        } .
    {
        mm:grp     dbwg:group mm:grpNum .
        mm:pg     log:uri  [
                 string:concat  (
                "http://www.w3.org:80/2000/09/dbwg/detailsRDF.php3?" 
                "group" 
                "=" 
                mm:grpNum  ) ] .
        
        }     log:implies {mm:grp     mm:subscriptionPg mm:pg .
        } .
    
#ENDS