#Processed by Id
        #    using base file:///home/jdroo/github.com/eyereasoner/eye/reasoning/fundamental-theorem-of-arithmetic/
             @prefix : <http://example.org/fta#> .
    
    :N1001     :answer  [
             a :PrimeFactor;
             :prime 7 ],
                 [
             a :PrimeFactor;
             :prime 11 ],
                 [
             a :PrimeFactor;
             :prime 13 ];
         :check  [
             a :Check;
             :kind "terminated-at-1";
             :ok true ];
         :status "factored";
         :why  [
             a :Step;
             :from 1001;
             :num :N1001;
             :prime 7;
             :to 143 ],
                 [
             a :Step;
             :from 143;
             :num :N1001;
             :prime 11;
             :to 13 ],
                 [
             a :Step;
             :from 13;
             :num :N1001;
             :prime 13;
             :to 1 ] .
    
    :N32     :answer  [
             a :PrimeFactor;
             :prime 2 ],
                 [
             a :PrimeFactor;
             :prime 2 ],
                 [
             a :PrimeFactor;
             :prime 2 ],
                 [
             a :PrimeFactor;
             :prime 2 ],
                 [
             a :PrimeFactor;
             :prime 2 ];
         :check  [
             a :Check;
             :kind "terminated-at-1";
             :ok true ];
         :status "factored";
         :why  [
             a :Step;
             :from 32;
             :num :N32;
             :prime 2;
             :to 16 ],
                 [
             a :Step;
             :from 16;
             :num :N32;
             :prime 2;
             :to 8 ],
                 [
             a :Step;
             :from 8;
             :num :N32;
             :prime 2;
             :to 4 ],
                 [
             a :Step;
             :from 4;
             :num :N32;
             :prime 2;
             :to 2 ],
                 [
             a :Step;
             :from 2;
             :num :N32;
             :prime 2;
             :to 1 ] .
    
    :N360     :answer  [
             a :PrimeFactor;
             :prime 2 ],
                 [
             a :PrimeFactor;
             :prime 2 ],
                 [
             a :PrimeFactor;
             :prime 2 ],
                 [
             a :PrimeFactor;
             :prime 3 ],
                 [
             a :PrimeFactor;
             :prime 3 ],
                 [
             a :PrimeFactor;
             :prime 5 ];
         :check  [
             a :Check;
             :kind "terminated-at-1";
             :ok true ];
         :status "factored";
         :why  [
             a :Step;
             :from 360;
             :num :N360;
             :prime 2;
             :to 180 ],
                 [
             a :Step;
             :from 180;
             :num :N360;
             :prime 2;
             :to 90 ],
                 [
             a :Step;
             :from 90;
             :num :N360;
             :prime 2;
             :to 45 ],
                 [
             a :Step;
             :from 45;
             :num :N360;
             :prime 3;
             :to 15 ],
                 [
             a :Step;
             :from 15;
             :num :N360;
             :prime 3;
             :to 5 ],
                 [
             a :Step;
             :from 5;
             :num :N360;
             :prime 5;
             :to 1 ] .
    
    :N60     :answer  [
             a :PrimeFactor;
             :prime 2 ],
                 [
             a :PrimeFactor;
             :prime 2 ],
                 [
             a :PrimeFactor;
             :prime 3 ],
                 [
             a :PrimeFactor;
             :prime 5 ];
         :check  [
             a :Check;
             :kind "terminated-at-1";
             :ok true ];
         :status "factored";
         :why  [
             a :Step;
             :from 60;
             :num :N60;
             :prime 2;
             :to 30 ],
                 [
             a :Step;
             :from 30;
             :num :N60;
             :prime 2;
             :to 15 ],
                 [
             a :Step;
             :from 15;
             :num :N60;
             :prime 3;
             :to 5 ],
                 [
             a :Step;
             :from 5;
             :num :N60;
             :prime 5;
             :to 1 ] .
    
    :N84     :answer  [
             a :PrimeFactor;
             :prime 2 ],
                 [
             a :PrimeFactor;
             :prime 2 ],
                 [
             a :PrimeFactor;
             :prime 3 ],
                 [
             a :PrimeFactor;
             :prime 7 ];
         :check  [
             a :Check;
             :kind "terminated-at-1";
             :ok true ];
         :status "factored";
         :why  [
             a :Step;
             :from 84;
             :num :N84;
             :prime 2;
             :to 42 ],
                 [
             a :Step;
             :from 42;
             :num :N84;
             :prime 2;
             :to 21 ],
                 [
             a :Step;
             :from 21;
             :num :N84;
             :prime 3;
             :to 7 ],
                 [
             a :Step;
             :from 7;
             :num :N84;
             :prime 7;
             :to 1 ] .
    
    :N97     :answer  [
             a :PrimeFactor;
             :prime 97 ];
         :check  [
             a :Check;
             :kind "terminated-at-1";
             :ok true ];
         :status "factored";
         :why  [
             a :Step;
             :from 97;
             :num :N97;
             :prime 97;
             :to 1 ] .
      [      a :Work;
             :m 60;
             :num :N60 ].
    
      [      a :Work;
             :m 84;
             :num :N84 ].
    
      [      a :Work;
             :m 97;
             :num :N97 ].
    
      [      a :Work;
             :m 360;
             :num :N360 ].
    
      [      a :Work;
             :m 1001;
             :num :N1001 ].
    
      [      a :Work;
             :m 32;
             :num :N32 ].
    
      [      a :Work;
             :m 30;
             :num :N60 ].
    
      [      a :Work;
             :m 42;
             :num :N84 ].
    
      [      a :Work;
             :m 1;
             :num :N97 ].
    
      [      a :Work;
             :m 180;
             :num :N360 ].
    
      [      a :Work;
             :m 143;
             :num :N1001 ].
    
      [      a :Work;
             :m 16;
             :num :N32 ].
    
      [      a :Check;
             :kind "step-divisible";
             :ok true ].
    
      [      a :Check;
             :kind "step-reconstruct";
             :ok true ].
    
      [      a :Check;
             :kind "step-minimal-prime";
             :ok true ].
    
      [      a :Check;
             :kind "factor-is-prime";
             :ok true ].
    
      [      a :Work;
             :m 15;
             :num :N60 ].
    
      [      a :Work;
             :m 21;
             :num :N84 ].
    
      [      a :Work;
             :m 90;
             :num :N360 ].
    
      [      a :Work;
             :m 13;
             :num :N1001 ].
    
      [      a :Work;
             :m 8;
             :num :N32 ].
    
      [      a :Work;
             :m 5;
             :num :N60 ].
    
      [      a :Work;
             :m 7;
             :num :N84 ].
    
      [      a :Work;
             :m 45;
             :num :N360 ].
    
      [      a :Work;
             :m 1;
             :num :N1001 ].
    
      [      a :Work;
             :m 4;
             :num :N32 ].
    
      [      a :Work;
             :m 1;
             :num :N60 ].
    
      [      a :Work;
             :m 1;
             :num :N84 ].
    
      [      a :Work;
             :m 15;
             :num :N360 ].
    
      [      a :Work;
             :m 2;
             :num :N32 ].
    
      [      a :Work;
             :m 5;
             :num :N360 ].
    
      [      a :Work;
             :m 1;
             :num :N32 ].
    
      [      a :Work;
             :m 1;
             :num :N360 ].
    
