euler5 bchaining bayesian test case

is not yet in reason.n3 proof notation but will follow once
it is clear how to notate multiple proofs of same predicate..

GIVEN http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3
QUERY http://eulersharp.sourceforge.net/2004/04test/metastaticQ.n3

P(MetastaticCancer | ~Coma, HeadAche)

      goal_rank(MetastaticCancer, ~Coma, HeadAche)
    = --------------------------------------------
               goal_rank(~Coma, HeadAche)

       0.04
    = ------
      0.4112

    = 0.0972762646

i.e.

wget -q -O-
http://localhost/.euler+--prolog-bchain+--nope+http%3A%2F%2Feulersharp.sourceforge.net%2F2004%2F04test%2FmetastaticP.n3+--query+http%3A%2F%2Feulersharp.sourceforge.net%2F2004%2F04test%2FmetastaticQ.n3
 | yap -s 10000 -l ~/sfcvs/2006/02swap/euler.yap -z main. --
% Restoring file /usr/local/lib/Yap/startup
YAP version Yap-5.1.2
 % reconsulting /home/amdus/sfcvs/2006/02swap/euler.yap...
  % reconsulting /usr/local/share/Yap/lists.yap...
  % reconsulted /usr/local/share/Yap/lists.yap in module lists, 4 msec
18552 bytes
  % reconsulting /usr/local/share/Yap/pillow.pl...
  % including icon_address...
  % icon_address included in module pillow, 0 msec 240 bytes
  % reconsulted /usr/local/share/Yap/pillow.pl in module pillow, 40 msec
172048 bytes
  % reconsulting /usr/local/share/Yap/regexp.yap...
  % reconsulted /usr/local/share/Yap/regexp.yap in module regexp, 0 msec
4928 bytes
  % reconsulting /usr/local/share/Yap/charsio.yap...
  % reconsulted /usr/local/share/Yap/charsio.yap in module charsio, 0 msec
8672 bytes
 % reconsulted /home/amdus/sfcvs/2006/02swap/euler.yap in module user, 56
msec 292064 bytes
nbuf=main.
#Processed by Id: euler.yap,v 1.165 2007/04/10 20:48:58 josd Exp

@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix var: <http://localhost/var#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix fn: <http://www.w3.org/2006/xpath-functions#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://eulersharp.sourceforge.net/2004/04test/metastatic#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

-|
e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)
   -| builtin(e:true(_1800,0.2,_1802))
-|
e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111905>)
   -|
e:boolean(:SerumCalcium,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111638>)
      -|
eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>))
      -| builtin(e:true(_1913,0.8,_1915))
   -|
e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111718>)
      -|
eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>))
      -| builtin(e:true(_1972,0.2,_1974))
   -| builtin(e:true(_1861,0.2,_1863))
-|
e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>)
   -|
eulerpath(e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111718>))
   -| builtin(e:true(_2030,0.8,_2032))
proof_rank((e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>),e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111905>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>)),0.00512)

-|
e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)
   -| builtin(e:true(_1800,0.2,_1802))
-|
e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111931>)
   -|
e:boolean(:SerumCalcium,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111638>)
      -|
eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>))
      -| builtin(e:true(_1916,0.8,_1918))
   -|
e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111758>)
      -|
eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>))
      -| builtin(e:true(_1975,0.8,_1977))
   -| builtin(e:true(_1864,0.2,_1866))
-|
e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>)
   -|
eulerpath(e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111758>))
   -| builtin(e:true(_2033,0.6,_2035))
proof_rank((e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>),e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111931>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>)),0.01536)

-|
e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)
   -| builtin(e:true(_1800,0.2,_1802))
-|
e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111957>)
   -|
e:boolean(:SerumCalcium,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111678>)
      -|
eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>))
      -| builtin(e:true(_1919,0.2,_1921))
   -|
e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111718>)
      -|
eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>))
      -| builtin(e:true(_1978,0.2,_1980))
   -| builtin(e:true(_1867,0.2,_1869))
-|
e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>)
   -|
eulerpath(e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111718>))
   -| builtin(e:true(_2036,0.8,_2038))
proof_rank((e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>),e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111957>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>)),0.00128)

-|
e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)
   -| builtin(e:true(_1800,0.2,_1802))
-|
e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111983>)
   -|
e:boolean(:SerumCalcium,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111678>)
      -|
eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>))
      -| builtin(e:true(_1919,0.2,_1921))
   -|
e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111758>)
      -|
eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>))
      -| builtin(e:true(_1978,0.8,_1980))
   -| builtin(e:true(_1867,0.95,_1869))
-|
e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>)
   -|
eulerpath(e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111758>))
   -| builtin(e:true(_2036,0.6,_2038))
proof_rank((e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>),e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111983>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>)),0.01824)

goal_rank((e:boolean(:MetastaticCancer,e:T,_1763),e:boolean(:Coma,e:F,_1770),e:boolean(:HeadAche,e:T,_1774)),0.04)

-|
e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111905>)
   -|
e:boolean(:SerumCalcium,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111638>)
      -|
e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)
         -| builtin(e:true(_1904,0.2,_1906))
      -| builtin(e:true(_1865,0.8,_1867))
   -|
e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111718>)
      -|
eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>))
      -| builtin(e:true(_1960,0.2,_1962))
   -| builtin(e:true(_1813,0.2,_1815))
-|
e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>)
   -|
eulerpath(e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111718>))
   -| builtin(e:true(_2018,0.8,_2020))
proof_rank((e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111905>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>)),0.00512)

-|
e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111905>)
   -|
e:boolean(:SerumCalcium,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111658>)
      -|
e:boolean(:MetastaticCancer,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111621>)
         -| builtin(e:true(_1904,0.8,_1906))
      -| builtin(e:true(_1865,0.2,_1867))
   -|
e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111738>)
      -|
eulerpath(e:boolean(:MetastaticCancer,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111621>))
      -| builtin(e:true(_1960,0.05,_1962))
   -| builtin(e:true(_1813,0.2,_1815))
-|
e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>)
   -|
eulerpath(e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111738>))
   -| builtin(e:true(_2018,0.8,_2020))
proof_rank((e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111905>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>)),0.00128)

-|
e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111931>)
   -|
e:boolean(:SerumCalcium,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111638>)
      -|
e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)
         -| builtin(e:true(_1907,0.2,_1909))
      -| builtin(e:true(_1868,0.8,_1870))
   -|
e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111758>)
      -|
eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>))
      -| builtin(e:true(_1963,0.8,_1965))
   -| builtin(e:true(_1816,0.2,_1818))
-|
e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>)
   -|
eulerpath(e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111758>))
   -| builtin(e:true(_2021,0.6,_2023))
proof_rank((e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111931>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>)),0.01536)

-|
e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111931>)
   -|
e:boolean(:SerumCalcium,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111658>)
      -|
e:boolean(:MetastaticCancer,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111621>)
         -| builtin(e:true(_1907,0.8,_1909))
      -| builtin(e:true(_1868,0.2,_1870))
   -|
e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111778>)
      -|
eulerpath(e:boolean(:MetastaticCancer,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111621>))
      -| builtin(e:true(_1963,0.95,_1965))
   -| builtin(e:true(_1816,0.2,_1818))
-|
e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>)
   -|
eulerpath(e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111778>))
   -| builtin(e:true(_2021,0.6,_2023))
proof_rank((e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111931>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>)),0.01824)

-|
e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111957>)
   -|
e:boolean(:SerumCalcium,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111678>)
      -|
e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)
         -| builtin(e:true(_1910,0.2,_1912))
      -| builtin(e:true(_1871,0.2,_1873))
   -|
e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111718>)
      -|
eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>))
      -| builtin(e:true(_1966,0.2,_1968))
   -| builtin(e:true(_1819,0.2,_1821))
-|
e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>)
   -|
eulerpath(e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111718>))
   -| builtin(e:true(_2024,0.8,_2026))
proof_rank((e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111957>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>)),0.00128)

-|
e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111957>)
   -|
e:boolean(:SerumCalcium,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111698>)
      -|
e:boolean(:MetastaticCancer,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111621>)
         -| builtin(e:true(_1910,0.8,_1912))
      -| builtin(e:true(_1871,0.8,_1873))
   -|
e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111738>)
      -|
eulerpath(e:boolean(:MetastaticCancer,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111621>))
      -| builtin(e:true(_1966,0.05,_1968))
   -| builtin(e:true(_1819,0.2,_1821))
-|
e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>)
   -|
eulerpath(e:boolean(:BrainTumor,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111738>))
   -| builtin(e:true(_2024,0.8,_2026))
proof_rank((e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111957>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112006>)),0.00512)

-|
e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111983>)
   -|
e:boolean(:SerumCalcium,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111678>)
      -|
e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>)
         -| builtin(e:true(_1910,0.2,_1912))
      -| builtin(e:true(_1871,0.2,_1873))
   -|
e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111758>)
      -|
eulerpath(e:boolean(:MetastaticCancer,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111607>))
      -| builtin(e:true(_1966,0.8,_1968))
   -| builtin(e:true(_1819,0.95,_1821))
-|
e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>)
   -|
eulerpath(e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111758>))
   -| builtin(e:true(_2024,0.6,_2026))
proof_rank((e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111983>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>)),0.01824)

-|
e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111983>)
   -|
e:boolean(:SerumCalcium,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111698>)
      -|
e:boolean(:MetastaticCancer,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111621>)
         -| builtin(e:true(_1910,0.8,_1912))
      -| builtin(e:true(_1871,0.8,_1873))
   -|
e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111778>)
      -|
eulerpath(e:boolean(:MetastaticCancer,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111621>))
      -| builtin(e:true(_1966,0.95,_1968))
   -| builtin(e:true(_1819,0.95,_1821))
-|
e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>)
   -|
eulerpath(e:boolean(:BrainTumor,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111778>))
   -| builtin(e:true(_2024,0.6,_2026))
proof_rank((e:boolean(:Coma,e:F,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1111983>),e:boolean(:HeadAche,e:T,<http://eulersharp.sourceforge.net/2004/04test/metastaticP.n3#uid_1112026>)),0.34656)

goal_rank((e:boolean(:Coma,e:F,_1763),e:boolean(:HeadAche,e:T,_1767)),0.4112)

#ENDS 4 msec.

Received on Tuesday, 10 April 2007 23:57:48 UTC