@prefix : <#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix os: <http://www.w3.org/2000/10/swap/os#> .
    
    :have_diffs_return_one     a :success .
    
    :no_diff_return_zero     a :success .
    {
        "1"     os:argv "0" .
        
        }     log:implies {:no_diff_return_zero     a :success .
        } .
    {
        "2"     os:argv "1" .
        
        }     log:implies {:have_diffs_return_one     a :success .
        } .