#Processed by Id
        #    using base file:///home/jdroo/github.com/eyereasoner/eye/reasoning/heron-theorem/
             @prefix : <http://example.org/heron#> .
    
    :T1     :answer  [
             a :Area;
             :value 6.0 ];
         :check  [
             a :Check;
             :kind "heron-identity";
             :ok true;
             :residual 0.0 ];
         :status "proper";
         :why  [
             :radicand 36;
             :s 6;
             :sMinusA 3;
             :sMinusB 2;
             :sMinusC 1 ] .
    
    :T2     :answer  [
             a :Area;
             :value 0.4330127018922193 ];
         :check  [
             a :Check;
             :kind "heron-identity";
             :ok true;
             :residual 4.4408920985e-16 ];
         :status "proper";
         :why  [
             :radicand 0.1875;
             :s 1.5;
             :sMinusA 0.5;
             :sMinusB 0.5;
             :sMinusC 0.5 ] .
    
    :T3     :answer  [
             a :Area;
             :value 12.0 ];
         :check  [
             a :Check;
             :kind "heron-identity";
             :ok true;
             :residual 0.0 ];
         :status "proper";
         :why  [
             :radicand 144;
             :s 8;
             :sMinusA 3;
             :sMinusB 3;
             :sMinusC 2 ] .
    
    :T4     :answer  [
             a :Area;
             :value 26.832815729997478 ];
         :check  [
             a :Check;
             :kind "heron-identity";
             :ok true;
             :residual 1.81898940355e-12 ];
         :status "proper";
         :why  [
             :radicand 720;
             :s 12;
             :sMinusA 5;
             :sMinusB 4;
             :sMinusC 3 ] .
    
    :T5     :answer  [
             a :Area;
             :value 0 ];
         :check  [
             a :Check;
             :kind "heron-identity";
             :ok true;
             :residual 0 ];
         :status "degenerate";
         :why  [
             :radicand 0;
             :s 3;
             :sMinusA 2;
             :sMinusB 1;
             :sMinusC 0 ] .
    
    :T6     :answer  [
             a :Area;
             :value 5.846051552116183 ];
         :check  [
             a :Check;
             :kind "heron-identity";
             :ok true;
             :residual 3.41060513165e-13 ];
         :status "proper";
         :why  [
             :radicand 34.176318750000036;
             :s 6.15;
             :sMinusA 3.6500000000000004;
             :sMinusB 1.4500000000000002;
             :sMinusC 1.0500000000000007 ] .
    
