0Show :socrates     a :Mortal  [Show]

1_g0 ['../../cwm.py', 'socrates.n3', '--think', '--base=foo:', '--filter=soc-goal.n3', '--why'] [Invocation]

2_g1 {...} [1_g0, Parsing <socrates.n3>]

2_g_L55C32 {...} [1_g0, Parsing <soc-goal.n3>]

3_g_L36C30      @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/socrates.n3#> .
    
    :socrates     a :Man .
    
 [2_g1, CE]

3_g_L41C37      @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/socrates.n3#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    
     @forAll :who .
    {
        :who     a :Man .
        
        }     log:implies {:who     a :Mortal .
        } .
    
 [2_g1, CE]

3_g_L53C25      @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/socrates.n3#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    @prefix so: <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/soc-goal.n3#> .
    
     @forAll so:p .
    {
        :socrates     so:p :Mortal .
        
        }     log:implies {:socrates     so:p :Mortal .
        } .
    
 [2_g_L55C32, CE]

7_g_L28C36 {...} [3_g_L41C37, (3_g_L36C30), GMP ?who := <...#socrates>]

8_g_L26C18      @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/socrates.n3#> .
    
    :socrates     a :Mortal .
    
 [7_g_L28C36, CE]

12_g_L18C26 {...} [3_g_L53C25, (8_g_L26C18), GMP ?p := <...#type>]

13_g_L16C7      @prefix : <file:/home/connolly/w3ccvs/WWW/2000/10/swap/test/reason/socrates.n3#> .
    
    :socrates     a :Mortal .
    
 [12_g_L18C26, CI(1)]