- From: <jos.deroo@agfa.com>
- Date: Wed, 11 Apr 2007 01:57:42 +0200
- To: www-archive@w3.org
- Message-ID: <OF4144B538.CB261512-ONC12572B9.0083A04B-C12572B9.0083A069@agfa.com>
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