@prefix : <#> .
     @prefix contact: <http://www.w3.org/2000/10/swap/pim/contact#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix rcs: <http://www.w3.org/2001/03swell/rcs#> .
     @prefix string: <http://www.w3.org/2000/10/swap/string#> .
    
    @forAll :p,
                :q,
                :x,
                :y,
                :z .
    
    <>     <http://purl.org/dc/elements/1.1/creator>  [
             contact:fullName "Tim berners-Lee";
             contact:homePage <http://www.w3.org/People/Berners-Lee/>;
             contact:mailbox <mailto:timbl@w3.org> ];
         <http://purl.org/dc/elements/1.1/description> "Test string:containsRoughly";
         <http://purl.org/dc/elements/1.1/rights> "copyright (c) 2001 W3C (MIT, Keio, INRIA)";
         rcs:id "" .
    
    :test1     a :success .
    
    :test3     a :success .
    
    :test6     a :success .
    
    :test7     a :success .
    
    :test8     a :success .
    {
        ""     string:containsRoughly "" .
        
        }     log:implies {:test6     a :success .
        } .
    {
        "A green party"     string:containsRoughly "green     Party" .
        
        }     log:implies {:test1     a :success .
        } .
    {
        """THE
	WIDE     
	AND
	THE
	narrowEST
	OF PLACES"""     string:containsRoughly "wide and the" .
        
        }     log:implies {:test8     a :success .
        } .
    {
        "all good people to come to"     string:containsRoughly "gooood" .
        
        }     log:implies {:test2     a :FAILURE .
        } .
    {
        "asd"     string:containsRoughly "asdfjhkjhasd" .
        
        }     log:implies {:test5     a :FAILURE .
        } .
    {
        "foo"     string:containsRoughly "foo bar" .
        
        }     log:implies {:test4     a :FAILURE .
        } .
    {
        "jkl"     string:containsRoughly "jkl" .
        
        }     log:implies {:test3     a :success .
        } .
    {
        "supercalifragilisticexpialidocious"     string:containsRoughly "" .
        
        }     log:implies {:test7     a :success .
        } .