@prefix : <mysql://rdftest@swada.w3.org/OrderTracking/Orders#> .
     @prefix Addresses: <mysql://rdftest@swada.w3.org/OrderTracking/Addresses#> .
     @prefix Customers: <mysql://rdftest@swada.w3.org/OrderTracking/Customers#> .
     @prefix Products: <mysql://rdftest@swada.w3.org/OrderTracking/Products#> .
     @prefix billAddr: <http://example.com/billAddr#> .
     @prefix billCity: <http://example.com/billCity#> .
     @prefix billState: <http://example.com/billState#> .
     @prefix billStreet: <http://example.com/billStreet#> .
     @prefix c: <http://example.com/c#> .
     @prefix d: <http://example.com/d#> .
     @prefix first: <http://example.com/first#> .
     @prefix last: <http://example.com/last#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix o: <http://example.com/o#> .
     @prefix p: <http://example.com/p#> .
     @prefix productName: <http://example.com/productName#> .
    
    @forAll billAddr:a,
                billCity:a,
                billState:a,
                billStreet:a,
                c:a,
                d:a,
                first:a,
                last:a,
                o:a,
                p:a,
                productName:a .
    
    Addresses:city     log:definitiveService <mysql://rdftest@swada.w3.org/OrderTracking/> .
    
    Addresses:id     log:definitiveService <mysql://rdftest@swada.w3.org/OrderTracking/> .
    
    Addresses:state     log:definitiveService <mysql://rdftest@swada.w3.org/OrderTracking/> .
    
    Addresses:street     log:definitiveService <mysql://rdftest@swada.w3.org/OrderTracking/> .
    
    Customers:billingAddress     log:definitiveService <mysql://rdftest@swada.w3.org/OrderTracking/>;
         log:pointsAt Addresses:id .
    
    Customers:familyName     log:definitiveService <mysql://rdftest@swada.w3.org/OrderTracking/> .
    
    Customers:givenName     log:definitiveService <mysql://rdftest@swada.w3.org/OrderTracking/> .
    
    Customers:id     log:definitiveService <mysql://rdftest@swada.w3.org/OrderTracking/> .
    
    :customer     log:definitiveService <mysql://rdftest@swada.w3.org/OrderTracking/>;
         log:pointsAt Customers:id .
    
    :id     log:definitiveService <mysql://rdftest@swada.w3.org/OrderTracking/> .
    
    <mysql://rdftest@swada.w3.org/OrderTracking/Orders#id.2185>     <#RESULT> "123 Elm Street",
                "Biff",
                "EdgeCity",
                "Thompson",
                "XX",
                "pool" .
    
    <mysql://rdftest@swada.w3.org/OrderTracking/Orders#id.2186>     <#RESULT> "123 Elm Street",
                "Chip",
                "EdgeCity",
                "Thompson",
                "XX",
                "skateboard" .
    
    <mysql://rdftest@swada.w3.org/OrderTracking/Orders#id.2187>     <#RESULT> "123 Elm Street",
                "Chip",
                "EdgeCity",
                "Thompson",
                "XX",
                "nose ring" .
    
    <mysql://rdftest@swada.w3.org/OrderTracking/Orders#id.3183>     <#RESULT> "123 Elm Street",
                "Chip",
                "EdgeCity",
                "Thompson",
                "XX",
                "other ring" .
    
    :orderDate     log:definitiveService <mysql://rdftest@swada.w3.org/OrderTracking/> .
    
    :product     log:definitiveService <mysql://rdftest@swada.w3.org/OrderTracking/>;
         log:pointsAt Products:id .
    
    Products:id     log:definitiveService <mysql://rdftest@swada.w3.org/OrderTracking/> .
    
    Products:name     log:definitiveService <mysql://rdftest@swada.w3.org/OrderTracking/> .
    {
        billAddr:a     Addresses:city billCity:a;
             Addresses:state billState:a;
             Addresses:street billStreet:a .
        c:a     Customers:billingAddress billAddr:a;
             Customers:familyName first:a;
             Customers:givenName last:a .
        o:a     :customer c:a;
             :orderDate d:a;
             :product p:a .
        p:a     Products:name productName:a .
        
        }     log:implies {o:a     <#RESULT> billCity:a,
                    billState:a,
                    billStreet:a,
                    first:a,
                    last:a,
                    productName:a .
        } .