#Processed by Id: euler.yap,v 1.112 2006/11/09 21:07:09 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 xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://eulersharp.sourceforge.net/2004/04test/RadLex#>.
@prefix ACR: <http://eulersharp.sourceforge.net/2004/04test/ACR#>.
@prefix time: <http://www.w3.org/2000/10/swap/time#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix UMLS: <http://eulersharp.sourceforge.net/2004/04test/UMLS#>.
@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#>.

[ a r:Proof, r:Conjunction;
  r:component [ a r:Inference; r:gives {:RL433 :name "rotator cuff muscles"}; r:evidence (
    [ a r:Extraction; r:gives {@forSome var:e1149003_92_. var:e1149003_92_ :rl-term :RL432}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]
    [ a r:Extraction; r:gives {@forSome var:e1149003_92_. @forSome var:e1149058_92_. var:e1149003_92_ :axis-term var:e1149058_92_}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]
    [ a r:Extraction; r:gives {@forSome var:e1149058_92_. var:e1149058_92_ :rl-term :RL433}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]
    [ a r:Extraction; r:gives {:RL433 :name "rotator cuff muscles"}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]);
    r:binding [ r:variable [ n3:uri "http://localhost/var#A"]; r:boundTo [ a r:Existential; n3:nodeId "http://localhost/var#e1149003_92_"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#B"]; r:boundTo [ a r:Existential; n3:nodeId "http://localhost/var#e1149058_92_"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#T"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2004/04test/RadLex#RL433"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#N"]; r:boundTo "rotator cuff muscles"]; 
    r:rule [ a r:Extraction; r:gives {@forAll var:A,var:B,var:T,var:N. {var:A :rl-term :RL432. var:A :axis-term var:B. var:B :rl-term var:T. var:T :name var:N} => {var:T :name var:N}. }; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlexQ.n3>]]];
  r:component [ a r:Inference; r:gives {:RL438 :name "teres major muscle"}; r:evidence (
    [ a r:Extraction; r:gives {@forSome var:e1149003_92_. var:e1149003_92_ :rl-term :RL432}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]
    [ a r:Extraction; r:gives {@forSome var:e1149003_92_. @forSome var:e1149103_92_. var:e1149003_92_ :axis-term var:e1149103_92_}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]
    [ a r:Extraction; r:gives {@forSome var:e1149103_92_. var:e1149103_92_ :rl-term :RL438}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]
    [ a r:Extraction; r:gives {:RL438 :name "teres major muscle"}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]);
    r:binding [ r:variable [ n3:uri "http://localhost/var#A"]; r:boundTo [ a r:Existential; n3:nodeId "http://localhost/var#e1149003_92_"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#B"]; r:boundTo [ a r:Existential; n3:nodeId "http://localhost/var#e1149103_92_"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#T"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2004/04test/RadLex#RL438"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#N"]; r:boundTo "teres major muscle"]; 
    r:rule [ a r:Extraction; r:gives {@forAll var:A,var:B,var:T,var:N. {var:A :rl-term :RL432. var:A :axis-term var:B. var:B :rl-term var:T. var:T :name var:N} => {var:T :name var:N}. }; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlexQ.n3>]]];
  r:component [ a r:Inference; r:gives {:RL439 :name "deltoid muscle"}; r:evidence (
    [ a r:Extraction; r:gives {@forSome var:e1149003_92_. var:e1149003_92_ :rl-term :RL432}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]
    [ a r:Extraction; r:gives {@forSome var:e1149003_92_. @forSome var:e1149108_92_. var:e1149003_92_ :axis-term var:e1149108_92_}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]
    [ a r:Extraction; r:gives {@forSome var:e1149108_92_. var:e1149108_92_ :rl-term :RL439}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]
    [ a r:Extraction; r:gives {:RL439 :name "deltoid muscle"}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]);
    r:binding [ r:variable [ n3:uri "http://localhost/var#A"]; r:boundTo [ a r:Existential; n3:nodeId "http://localhost/var#e1149003_92_"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#B"]; r:boundTo [ a r:Existential; n3:nodeId "http://localhost/var#e1149108_92_"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#T"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2004/04test/RadLex#RL439"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#N"]; r:boundTo "deltoid muscle"]; 
    r:rule [ a r:Extraction; r:gives {@forAll var:A,var:B,var:T,var:N. {var:A :rl-term :RL432. var:A :axis-term var:B. var:B :rl-term var:T. var:T :name var:N} => {var:T :name var:N}. }; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlexQ.n3>]]];
  r:component [ a r:Inference; r:gives {:RL440 :name "trapezius muscle"}; r:evidence (
    [ a r:Extraction; r:gives {@forSome var:e1149003_92_. var:e1149003_92_ :rl-term :RL432}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]
    [ a r:Extraction; r:gives {@forSome var:e1149003_92_. @forSome var:e1149113_92_. var:e1149003_92_ :axis-term var:e1149113_92_}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]
    [ a r:Extraction; r:gives {@forSome var:e1149113_92_. var:e1149113_92_ :rl-term :RL440}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]
    [ a r:Extraction; r:gives {:RL440 :name "trapezius muscle"}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]);
    r:binding [ r:variable [ n3:uri "http://localhost/var#A"]; r:boundTo [ a r:Existential; n3:nodeId "http://localhost/var#e1149003_92_"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#B"]; r:boundTo [ a r:Existential; n3:nodeId "http://localhost/var#e1149113_92_"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#T"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2004/04test/RadLex#RL440"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#N"]; r:boundTo "trapezius muscle"]; 
    r:rule [ a r:Extraction; r:gives {@forAll var:A,var:B,var:T,var:N. {var:A :rl-term :RL432. var:A :axis-term var:B. var:B :rl-term var:T. var:T :name var:N} => {var:T :name var:N}. }; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlexQ.n3>]]];
  r:component [ a r:Inference; r:gives {:RL441 :name "pectoralis major muscle"}; r:evidence (
    [ a r:Extraction; r:gives {@forSome var:e1149003_92_. var:e1149003_92_ :rl-term :RL432}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]
    [ a r:Extraction; r:gives {@forSome var:e1149003_92_. @forSome var:e1149118_92_. var:e1149003_92_ :axis-term var:e1149118_92_}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]
    [ a r:Extraction; r:gives {@forSome var:e1149118_92_. var:e1149118_92_ :rl-term :RL441}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]
    [ a r:Extraction; r:gives {:RL441 :name "pectoralis major muscle"}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]);
    r:binding [ r:variable [ n3:uri "http://localhost/var#A"]; r:boundTo [ a r:Existential; n3:nodeId "http://localhost/var#e1149003_92_"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#B"]; r:boundTo [ a r:Existential; n3:nodeId "http://localhost/var#e1149118_92_"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#T"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2004/04test/RadLex#RL441"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#N"]; r:boundTo "pectoralis major muscle"]; 
    r:rule [ a r:Extraction; r:gives {@forAll var:A,var:B,var:T,var:N. {var:A :rl-term :RL432. var:A :axis-term var:B. var:B :rl-term var:T. var:T :name var:N} => {var:T :name var:N}. }; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlexQ.n3>]]];
  r:component [ a r:Inference; r:gives {:RL442 :name "pectoralis minor muscle"}; r:evidence (
    [ a r:Extraction; r:gives {@forSome var:e1149003_92_. var:e1149003_92_ :rl-term :RL432}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]
    [ a r:Extraction; r:gives {@forSome var:e1149003_92_. @forSome var:e1149123_92_. var:e1149003_92_ :axis-term var:e1149123_92_}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]
    [ a r:Extraction; r:gives {@forSome var:e1149123_92_. var:e1149123_92_ :rl-term :RL442}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]
    [ a r:Extraction; r:gives {:RL442 :name "pectoralis minor muscle"}; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlex.n3>]]);
    r:binding [ r:variable [ n3:uri "http://localhost/var#A"]; r:boundTo [ a r:Existential; n3:nodeId "http://localhost/var#e1149003_92_"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#B"]; r:boundTo [ a r:Existential; n3:nodeId "http://localhost/var#e1149123_92_"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#T"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2004/04test/RadLex#RL442"]]; 
    r:binding [ r:variable [ n3:uri "http://localhost/var#N"]; r:boundTo "pectoralis minor muscle"]; 
    r:rule [ a r:Extraction; r:gives {@forAll var:A,var:B,var:T,var:N. {var:A :rl-term :RL432. var:A :axis-term var:B. var:B :rl-term var:T. var:T :name var:N} => {var:T :name var:N}. }; r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2004/04test/radlexQ.n3>]]];
  r:gives {
    :RL433 :name "rotator cuff muscles".
    :RL438 :name "teres major muscle".
    :RL439 :name "deltoid muscle".
    :RL440 :name "trapezius muscle".
    :RL441 :name "pectoralis major muscle".
    :RL442 :name "pectoralis minor muscle".}].

#ENDS 0 msec.