#socrates.... /home/amdus/euler5 http://localhost/.euler+--prolog-bchain+http%3A%2F%2Fwww.agfa.com%2Fw3c%2Feuler%2Fsocrates.n3+--query+http%3A%2F%2Fwww.agfa.com%2Fw3c%2Feuler%2FsocratesF.n3 #Processed by Id: euler.yap 1355 2007-06-24 20:39:24Z josd @prefix str: . @prefix var: . @prefix q: . @prefix list: . @prefix e: . @prefix fn: . @prefix xsd: . @prefix : . @prefix time: . @prefix log: . @prefix rdfs: . @prefix n3: . @prefix math: . @prefix owl: . @prefix r: . @prefix rdf: . {#possibility {:Socrates rdf:type var:Man_0_} a e:Fact; e:source . } e:possibility 1. {#possibility {:Socrates rdf:type :Mortal} e:because { {var:Man_0_ rdfs:subClassOf :Mortal} a e:Fact; e:source . {:Socrates rdf:type var:Man_0_} a e:Fact; e:source . }; e:source . } e:possibility 1. {#possibility {:Socrates rdf:type var:Man_0_} a e:Fact; e:source . {:Socrates rdf:type var:Man_0_} a e:Lemma. } e:possibility 1. {#possibility {:Socrates rdf:type :Mortal} e:because { {var:Man_0_ rdfs:subClassOf :Mortal} a e:Fact; e:source . {:Socrates rdf:type var:Man_0_} a e:Fact; e:source . }; e:source . {:Socrates rdf:type :Mortal} a e:Lemma. } e:possibility 1. :Socrates rdf:type var:Man_0_. :Socrates rdf:type :Mortal. #ENDS 0 msec. #medmio...... /home/amdus/euler5 http://localhost/.euler+--prolog-bchain+http%3A%2F%2Fwww.agfa.com%2Fw3c%2Feuler%2Fmedmio.n3+--query+http%3A%2F%2Fwww.agfa.com%2Fw3c%2Feuler%2FmedmioF.n3 #Processed by Id: euler.yap 1355 2007-06-24 20:39:24Z josd @prefix math: . @prefix e: . @prefix list: . @prefix q: . @prefix xsd: . @prefix os: . @prefix log: . @prefix rpo: . @prefix r: . @prefix rdfs: . @prefix fn: . @prefix time: . @prefix : . @prefix rdf: . @prefix var: . @prefix str: . @prefix owl: . @prefix n3: . {#possibility {#variant {:Joe :isPrescribed :aspirinLowDose} e:because { {(:Joe :AcuteMyocardialInfarction) rpo:mu 0.9} a e:Fact; e:source . {0.9 math:greaterThan 0.7} a e:Builtin. {:aspirinLowDose :prescribedFor :AcuteMyocardialInfarction} a e:Fact; e:source . {:aspirinLowDose :excludedFor (:ActivePepticUlcerDisease :AllergyForAspirin)} a e:Fact; e:source . {:Joe :fineWith (:ActivePepticUlcerDisease :AllergyForAspirin)} e:because { {(:Joe :ActivePepticUlcerDisease) rpo:mu 0.006} a e:Fact; e:source . {0.006 math:lessThan 0.01} a e:Builtin. {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:type rdf:List} e:because { {:aspirinLowDose :excludedFor (:ActivePepticUlcerDisease :AllergyForAspirin)} a e:Lemma. }; e:source . {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:first :ActivePepticUlcerDisease} a e:Builtin. {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:rest (:AllergyForAspirin)} a e:Builtin. {:Joe :fineWith (:AllergyForAspirin)} e:because { {(:Joe :AllergyForAspirin) rpo:mu 0.001} a e:Fact; e:source . {0.001 math:lessThan 0.01} a e:Builtin. {(:AllergyForAspirin) rdf:type rdf:List} e:because { {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:rest (:AllergyForAspirin)} a e:Builtin. {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:type rdf:List} a e:Lemma. }; e:source . {(:AllergyForAspirin) rdf:first :AllergyForAspirin} a e:Builtin. {(:AllergyForAspirin) rdf:rest ()} a e:Builtin. }; e:source . }; e:source . }; e:source . } a e:Variant. {#variant {:Joe :isPrescribed :aspirinLowDose} e:because { {(:Joe :AcuteMyocardialInfarction) rpo:mu 0.9} a e:Fact; e:source . {0.9 math:greaterThan 0.7} a e:Builtin. {:aspirinLowDose :prescribedFor :AcuteMyocardialInfarction} a e:Fact; e:source . {:aspirinLowDose :excludedFor (:ActivePepticUlcerDisease :AllergyForAspirin)} a e:Fact; e:source . {:Joe :fineWith (:ActivePepticUlcerDisease :AllergyForAspirin)} e:because { {(:Joe :ActivePepticUlcerDisease) rpo:mu 0.006} a e:Fact; e:source . {0.006 math:lessThan 0.01} a e:Builtin. {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:type rdf:List} e:because { {:aspirinLowDose :excludedFor (:ActivePepticUlcerDisease :AllergyForAspirin)} a e:Lemma. }; e:source . {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:first :ActivePepticUlcerDisease} a e:Builtin. {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:rest (:AllergyForAspirin)} a e:Builtin. {:Joe :fineWith (:AllergyForAspirin)} e:because { {(:Joe :AllergyForAspirin) rpo:mu 0.001} a e:Fact; e:source . {0.001 math:lessThan 0.01} a e:Builtin. {(:AllergyForAspirin) rdf:type rdf:List} e:because { {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:rest (:AllergyForAspirin)} a e:Builtin. {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:type rdf:List} a e:Lemma. }; e:source . {(:AllergyForAspirin) rdf:first :AllergyForAspirin} a e:Builtin. {(:AllergyForAspirin) rdf:rest ()} a e:Builtin. }; e:source . }; e:source . }; e:source . } a e:Variant. } e:possibility 1.0. {#possibility {:Joe :isPrescribed :betaBlocker} e:because { {(:Joe :AcuteMyocardialInfarction) rpo:mu 0.9} a e:Fact; e:source . {0.9 math:greaterThan 0.7} a e:Builtin. {:betaBlocker :prescribedFor :AcuteMyocardialInfarction} a e:Fact; e:source . {:betaBlocker :excludedFor (:SevereAsthma :ChronicObstructivePumonaryDisease)} a e:Fact; e:source . {:Joe :fineWith (:SevereAsthma :ChronicObstructivePumonaryDisease)} e:because { {(:Joe :SevereAsthma) rpo:mu 0.001} a e:Fact; e:source . {0.001 math:lessThan 0.01} a e:Builtin. {(:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:type rdf:List} e:because { {:betaBlocker :excludedFor (:SevereAsthma :ChronicObstructivePumonaryDisease)} a e:Lemma. }; e:source . {(:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:first :SevereAsthma} a e:Builtin. {(:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:rest (:ChronicObstructivePumonaryDisease)} a e:Builtin. {:Joe :fineWith (:ChronicObstructivePumonaryDisease)} e:because { {(:Joe :ChronicObstructivePumonaryDisease) rpo:mu 0.001} a e:Fact; e:source . {0.001 math:lessThan 0.01} a e:Builtin. {(:ChronicObstructivePumonaryDisease) rdf:type rdf:List} e:because { {(:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:rest (:ChronicObstructivePumonaryDisease)} a e:Builtin. {(:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:type rdf:List} a e:Lemma. }; e:source . {(:ChronicObstructivePumonaryDisease) rdf:first :ChronicObstructivePumonaryDisease} a e:Builtin. {(:ChronicObstructivePumonaryDisease) rdf:rest ()} a e:Builtin. }; e:source . }; e:source . }; e:source . } e:possibility 1. {#possibility {#variant {:Joe :isPrescribed :aspirinLowDose} e:because { {(:Joe :AcuteMyocardialInfarction) rpo:mu 0.9} a e:Fact; e:source . {0.9 math:greaterThan 0.7} a e:Builtin. {:aspirinLowDose :prescribedFor :AcuteMyocardialInfarction} a e:Fact; e:source . {:aspirinLowDose :excludedFor (:ActivePepticUlcerDisease :AllergyForAspirin)} a e:Fact; e:source . {:Joe :fineWith (:ActivePepticUlcerDisease :AllergyForAspirin)} e:because { {(:Joe :ActivePepticUlcerDisease) rpo:mu 0.006} a e:Fact; e:source . {0.006 math:lessThan 0.01} a e:Builtin. {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:type rdf:List} e:because { {:aspirinLowDose :excludedFor (:ActivePepticUlcerDisease :AllergyForAspirin)} a e:Lemma. }; e:source . {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:first :ActivePepticUlcerDisease} a e:Builtin. {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:rest (:AllergyForAspirin)} a e:Builtin. {:Joe :fineWith (:AllergyForAspirin)} e:because { {(:Joe :AllergyForAspirin) rpo:mu 0.001} a e:Fact; e:source . {0.001 math:lessThan 0.01} a e:Builtin. {(:AllergyForAspirin) rdf:type rdf:List} e:because { {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:rest (:AllergyForAspirin)} a e:Builtin. {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:type rdf:List} a e:Lemma. }; e:source . {(:AllergyForAspirin) rdf:first :AllergyForAspirin} a e:Builtin. {(:AllergyForAspirin) rdf:rest ()} a e:Builtin. }; e:source . }; e:source . }; e:source . {:Joe :isPrescribed :aspirinLowDose} a e:Lemma. } a e:Variant. {#variant {:Joe :isPrescribed :aspirinLowDose} e:because { {(:Joe :AcuteMyocardialInfarction) rpo:mu 0.9} a e:Fact; e:source . {0.9 math:greaterThan 0.7} a e:Builtin. {:aspirinLowDose :prescribedFor :AcuteMyocardialInfarction} a e:Fact; e:source . {:aspirinLowDose :excludedFor (:ActivePepticUlcerDisease :AllergyForAspirin)} a e:Fact; e:source . {:Joe :fineWith (:ActivePepticUlcerDisease :AllergyForAspirin)} e:because { {(:Joe :ActivePepticUlcerDisease) rpo:mu 0.006} a e:Fact; e:source . {0.006 math:lessThan 0.01} a e:Builtin. {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:type rdf:List} e:because { {:aspirinLowDose :excludedFor (:ActivePepticUlcerDisease :AllergyForAspirin)} a e:Lemma. }; e:source . {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:first :ActivePepticUlcerDisease} a e:Builtin. {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:rest (:AllergyForAspirin)} a e:Builtin. {:Joe :fineWith (:AllergyForAspirin)} e:because { {(:Joe :AllergyForAspirin) rpo:mu 0.001} a e:Fact; e:source . {0.001 math:lessThan 0.01} a e:Builtin. {(:AllergyForAspirin) rdf:type rdf:List} e:because { {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:rest (:AllergyForAspirin)} a e:Builtin. {(:ActivePepticUlcerDisease :AllergyForAspirin) rdf:type rdf:List} a e:Lemma. }; e:source . {(:AllergyForAspirin) rdf:first :AllergyForAspirin} a e:Builtin. {(:AllergyForAspirin) rdf:rest ()} a e:Builtin. }; e:source . }; e:source . }; e:source . {:Joe :isPrescribed :aspirinLowDose} a e:Lemma. } a e:Variant. } e:possibility 1.0. {#possibility {:Joe :isPrescribed :betaBlocker} e:because { {(:Joe :AcuteMyocardialInfarction) rpo:mu 0.9} a e:Fact; e:source . {0.9 math:greaterThan 0.7} a e:Builtin. {:betaBlocker :prescribedFor :AcuteMyocardialInfarction} a e:Fact; e:source . {:betaBlocker :excludedFor (:SevereAsthma :ChronicObstructivePumonaryDisease)} a e:Fact; e:source . {:Joe :fineWith (:SevereAsthma :ChronicObstructivePumonaryDisease)} e:because { {(:Joe :SevereAsthma) rpo:mu 0.001} a e:Fact; e:source . {0.001 math:lessThan 0.01} a e:Builtin. {(:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:type rdf:List} e:because { {:betaBlocker :excludedFor (:SevereAsthma :ChronicObstructivePumonaryDisease)} a e:Lemma. }; e:source . {(:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:first :SevereAsthma} a e:Builtin. {(:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:rest (:ChronicObstructivePumonaryDisease)} a e:Builtin. {:Joe :fineWith (:ChronicObstructivePumonaryDisease)} e:because { {(:Joe :ChronicObstructivePumonaryDisease) rpo:mu 0.001} a e:Fact; e:source . {0.001 math:lessThan 0.01} a e:Builtin. {(:ChronicObstructivePumonaryDisease) rdf:type rdf:List} e:because { {(:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:rest (:ChronicObstructivePumonaryDisease)} a e:Builtin. {(:SevereAsthma :ChronicObstructivePumonaryDisease) rdf:type rdf:List} a e:Lemma. }; e:source . {(:ChronicObstructivePumonaryDisease) rdf:first :ChronicObstructivePumonaryDisease} a e:Builtin. {(:ChronicObstructivePumonaryDisease) rdf:rest ()} a e:Builtin. }; e:source . }; e:source . }; e:source . {:Joe :isPrescribed :betaBlocker} a e:Lemma. } e:possibility 1. :Joe :isPrescribed :aspirinLowDose. :Joe :isPrescribed :betaBlocker. #ENDS 12 msec. #lldm........ /home/amdus/euler5 http://localhost/.euler+--prolog-bchain+http%3A%2F%2Fwww.agfa.com%2Fw3c%2F2002%2F10%2Fmedicad%2Fop%2FlldmD.n3+http%3A%2F%2Fwww.agfa.com%2Fw3c%2F2002%2F10%2Fmedicad%2Fop%2FlldmP.n3+--query+http%3A%2F%2Fwww.agfa.com%2Fw3c%2F2002%2F10%2Fmedicad%2Fop%2FlldmF.n3 #Processed by Id: euler.yap 1355 2007-06-24 20:39:24Z josd @prefix str: . @prefix var: . @prefix q: . @prefix list: . @prefix e: . @prefix fn: . @prefix xsd: . @prefix : . @prefix time: . @prefix log: . @prefix rdfs: . @prefix n3: . @prefix math: . @prefix owl: . @prefix r: . @prefix rdf: . {#possibility {:meas47 rdf:type :Measurement} a e:Fact; e:source . {:meas47 rdf:type :LLDAlarm} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :dCm -1.9082339805375} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :d53Cm 21.5489004646173} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :ssd53Cm2 464.355111233982} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :sdx53Cm2 1.82745620436193} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :dx53Cm -1.35183438496064} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p5xCm 2.24816561503936} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :ddy13Cm -35.9075844155844} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :dd13Cm -57.9075844155844} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :pL1x1Cm -0.634857142857143} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :cL1 -0.0628571428571429} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :dy12Cm 2.2} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p1yCm 7.8} a e:Fact; e:source . {:meas47 :p2yCm 5.6} a e:Fact; e:source . {(7.8 5.6) math:difference 2.2} a e:Builtin. }; e:source . {:meas47 :dx12Cm -35.0} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p1xCm 10.1} a e:Fact; e:source . {:meas47 :p2xCm 45.1} a e:Fact; e:source . {(10.1 45.1) math:difference -35.0} a e:Builtin. }; e:source . {(2.2 -35.0) math:quotient -0.0628571428571429} a e:Builtin. }; e:source . {:meas47 :p1xCm 10.1} a e:Lemma. {(-0.0628571428571429 10.1) math:product -0.634857142857143} a e:Builtin. }; e:source . {:meas47 :pL3x3Cm 57.2727272727273} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :cL3 15.9090909090909} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :dL3m -15.9090909090909} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :cL1 -0.0628571428571429} a e:Lemma. {(1 -0.0628571428571429) math:quotient -15.9090909090909} a e:Builtin. }; e:source . {(0 -15.9090909090909) math:difference 15.9090909090909} a e:Builtin. }; e:source . {:meas47 :p3xCm 3.6} a e:Fact; e:source . {(15.9090909090909 3.6) math:product 57.2727272727273} a e:Builtin. }; e:source . {(-0.634857142857143 57.2727272727273) math:difference -57.9075844155844} a e:Builtin. }; e:source . {:meas47 :dy13Cm -22.0} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p1yCm 7.8} a e:Lemma. {:meas47 :p3yCm 29.8} a e:Fact; e:source . {(7.8 29.8) math:difference -22.0} a e:Builtin. }; e:source . {(-57.9075844155844 -22.0) math:difference -35.9075844155844} a e:Builtin. }; e:source . {:meas47 :ddL13 -15.9719480519481} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :cL1 -0.0628571428571429} a e:Lemma. {:meas47 :cL3 15.9090909090909} a e:Lemma. {(-0.0628571428571429 15.9090909090909) math:difference -15.9719480519481} a e:Builtin. }; e:source . {(-35.9075844155844 -15.9719480519481) math:quotient 2.24816561503936} a e:Builtin. }; e:source . {:meas47 :p3xCm 3.6} a e:Lemma. {(2.24816561503936 3.6) math:difference -1.35183438496064} a e:Builtin. }; e:source . {(-1.35183438496064 2) math:exponentiation 1.82745620436193} a e:Builtin. }; e:source . {:meas47 :sdy53Cm2 462.52765502962} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :dy53Cm -21.5064561243739} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p5yCm 8.2935438756261} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :pL1dx51Cm 0.493543875626098} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :cL1 -0.0628571428571429} a e:Lemma. {:meas47 :dx51Cm -7.85183438496064} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p5xCm 2.24816561503936} a e:Lemma. {:meas47 :p1xCm 10.1} a e:Lemma. {(2.24816561503936 10.1) math:difference -7.85183438496064} a e:Builtin. }; e:source . {(-0.0628571428571429 -7.85183438496064) math:product 0.493543875626098} a e:Builtin. }; e:source . {:meas47 :p1yCm 7.8} a e:Lemma. {(0.493543875626098 7.8) math:sum 8.2935438756261} a e:Builtin. }; e:source . {:meas47 :p3yCm 29.8} a e:Lemma. {(8.2935438756261 29.8) math:difference -21.5064561243739} a e:Builtin. }; e:source . {(-21.5064561243739 2) math:exponentiation 462.52765502962} a e:Builtin. }; e:source . {(1.82745620436193 462.52765502962) math:sum 464.355111233982} a e:Builtin. }; e:source . {(464.355111233982 0.5) math:exponentiation 21.5489004646173} a e:Builtin. }; e:source . {:meas47 :d64Cm 23.4571344451548} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :ssd64Cm2 550.237156378065} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :sdx64Cm2 2.1654425265643} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :dx64Cm -1.47154426592077} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p6xCm 53.2284557340792} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :ddy24Cm -850.16212987013} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :dd24Cm -873.06212987013} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :pL1x2Cm -2.83485714285714} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :cL1 -0.0628571428571429} a e:Lemma. {:meas47 :p2xCm 45.1} a e:Lemma. {(-0.0628571428571429 45.1) math:product -2.83485714285714} a e:Builtin. }; e:source . {:meas47 :pL3x4Cm 870.227272727273} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :cL3 15.9090909090909} a e:Lemma. {:meas47 :p4xCm 54.7} a e:Fact; e:source . {(15.9090909090909 54.7) math:product 870.227272727273} a e:Builtin. }; e:source . {(-2.83485714285714 870.227272727273) math:difference -873.06212987013} a e:Builtin. }; e:source . {:meas47 :dy24Cm -22.9} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p2yCm 5.6} a e:Lemma. {:meas47 :p4yCm 28.5} a e:Fact; e:source . {(5.6 28.5) math:difference -22.9} a e:Builtin. }; e:source . {(-873.06212987013 -22.9) math:difference -850.16212987013} a e:Builtin. }; e:source . {:meas47 :ddL13 -15.9719480519481} a e:Lemma. {(-850.16212987013 -15.9719480519481) math:quotient 53.2284557340792} a e:Builtin. }; e:source . {:meas47 :p4xCm 54.7} a e:Lemma. {(53.2284557340792 54.7) math:difference -1.47154426592077} a e:Builtin. }; e:source . {(-1.47154426592077 2) math:exponentiation 2.1654425265643} a e:Builtin. }; e:source . {:meas47 :sdy64Cm2 548.071713851501} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :dy64Cm -23.410931503285} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p6yCm 5.08906849671502} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :pL1dx62Cm -0.51093150328498} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :cL1 -0.0628571428571429} a e:Lemma. {:meas47 :dx62Cm 8.12845573407923} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p6xCm 53.2284557340792} a e:Lemma. {:meas47 :p2xCm 45.1} a e:Lemma. {(53.2284557340792 45.1) math:difference 8.12845573407923} a e:Builtin. }; e:source . {(-0.0628571428571429 8.12845573407923) math:product -0.51093150328498} a e:Builtin. }; e:source . {:meas47 :p2yCm 5.6} a e:Lemma. {(-0.51093150328498 5.6) math:sum 5.08906849671502} a e:Builtin. }; e:source . {:meas47 :p4yCm 28.5} a e:Lemma. {(5.08906849671502 28.5) math:difference -23.410931503285} a e:Builtin. }; e:source . {(-23.410931503285 2) math:exponentiation 548.071713851501} a e:Builtin. }; e:source . {(2.1654425265643 548.071713851501) math:sum 550.237156378065} a e:Builtin. }; e:source . {(550.237156378065 0.5) math:exponentiation 23.4571344451548} a e:Builtin. }; e:source . {(21.5489004646173 23.4571344451548) math:difference -1.9082339805375} a e:Builtin. }; e:source . {-1.9082339805375 math:lessThan -1.25} a e:Builtin. }; e:source . } e:possibility 1. {#possibility {:meas47 rdf:type :LLDAlarm} e:because { {:meas47 rdf:type :Measurement} a e:Fact; e:source . {:meas47 :dCm -1.9082339805375} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :d53Cm 21.5489004646173} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :ssd53Cm2 464.355111233982} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :sdx53Cm2 1.82745620436193} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :dx53Cm -1.35183438496064} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p5xCm 2.24816561503936} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :ddy13Cm -35.9075844155844} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :dd13Cm -57.9075844155844} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :pL1x1Cm -0.634857142857143} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :cL1 -0.0628571428571429} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :dy12Cm 2.2} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p1yCm 7.8} a e:Fact; e:source . {:meas47 :p2yCm 5.6} a e:Fact; e:source . {(7.8 5.6) math:difference 2.2} a e:Builtin. }; e:source . {:meas47 :dx12Cm -35.0} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p1xCm 10.1} a e:Fact; e:source . {:meas47 :p2xCm 45.1} a e:Fact; e:source . {(10.1 45.1) math:difference -35.0} a e:Builtin. }; e:source . {(2.2 -35.0) math:quotient -0.0628571428571429} a e:Builtin. }; e:source . {:meas47 :p1xCm 10.1} a e:Lemma. {(-0.0628571428571429 10.1) math:product -0.634857142857143} a e:Builtin. }; e:source . {:meas47 :pL3x3Cm 57.2727272727273} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :cL3 15.9090909090909} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :dL3m -15.9090909090909} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :cL1 -0.0628571428571429} a e:Lemma. {(1 -0.0628571428571429) math:quotient -15.9090909090909} a e:Builtin. }; e:source . {(0 -15.9090909090909) math:difference 15.9090909090909} a e:Builtin. }; e:source . {:meas47 :p3xCm 3.6} a e:Fact; e:source . {(15.9090909090909 3.6) math:product 57.2727272727273} a e:Builtin. }; e:source . {(-0.634857142857143 57.2727272727273) math:difference -57.9075844155844} a e:Builtin. }; e:source . {:meas47 :dy13Cm -22.0} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p1yCm 7.8} a e:Lemma. {:meas47 :p3yCm 29.8} a e:Fact; e:source . {(7.8 29.8) math:difference -22.0} a e:Builtin. }; e:source . {(-57.9075844155844 -22.0) math:difference -35.9075844155844} a e:Builtin. }; e:source . {:meas47 :ddL13 -15.9719480519481} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :cL1 -0.0628571428571429} a e:Lemma. {:meas47 :cL3 15.9090909090909} a e:Lemma. {(-0.0628571428571429 15.9090909090909) math:difference -15.9719480519481} a e:Builtin. }; e:source . {(-35.9075844155844 -15.9719480519481) math:quotient 2.24816561503936} a e:Builtin. }; e:source . {:meas47 :p3xCm 3.6} a e:Lemma. {(2.24816561503936 3.6) math:difference -1.35183438496064} a e:Builtin. }; e:source . {(-1.35183438496064 2) math:exponentiation 1.82745620436193} a e:Builtin. }; e:source . {:meas47 :sdy53Cm2 462.52765502962} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :dy53Cm -21.5064561243739} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p5yCm 8.2935438756261} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :pL1dx51Cm 0.493543875626098} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :cL1 -0.0628571428571429} a e:Lemma. {:meas47 :dx51Cm -7.85183438496064} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p5xCm 2.24816561503936} a e:Lemma. {:meas47 :p1xCm 10.1} a e:Lemma. {(2.24816561503936 10.1) math:difference -7.85183438496064} a e:Builtin. }; e:source . {(-0.0628571428571429 -7.85183438496064) math:product 0.493543875626098} a e:Builtin. }; e:source . {:meas47 :p1yCm 7.8} a e:Lemma. {(0.493543875626098 7.8) math:sum 8.2935438756261} a e:Builtin. }; e:source . {:meas47 :p3yCm 29.8} a e:Lemma. {(8.2935438756261 29.8) math:difference -21.5064561243739} a e:Builtin. }; e:source . {(-21.5064561243739 2) math:exponentiation 462.52765502962} a e:Builtin. }; e:source . {(1.82745620436193 462.52765502962) math:sum 464.355111233982} a e:Builtin. }; e:source . {(464.355111233982 0.5) math:exponentiation 21.5489004646173} a e:Builtin. }; e:source . {:meas47 :d64Cm 23.4571344451548} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :ssd64Cm2 550.237156378065} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :sdx64Cm2 2.1654425265643} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :dx64Cm -1.47154426592077} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p6xCm 53.2284557340792} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :ddy24Cm -850.16212987013} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :dd24Cm -873.06212987013} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :pL1x2Cm -2.83485714285714} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :cL1 -0.0628571428571429} a e:Lemma. {:meas47 :p2xCm 45.1} a e:Lemma. {(-0.0628571428571429 45.1) math:product -2.83485714285714} a e:Builtin. }; e:source . {:meas47 :pL3x4Cm 870.227272727273} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :cL3 15.9090909090909} a e:Lemma. {:meas47 :p4xCm 54.7} a e:Fact; e:source . {(15.9090909090909 54.7) math:product 870.227272727273} a e:Builtin. }; e:source . {(-2.83485714285714 870.227272727273) math:difference -873.06212987013} a e:Builtin. }; e:source . {:meas47 :dy24Cm -22.9} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p2yCm 5.6} a e:Lemma. {:meas47 :p4yCm 28.5} a e:Fact; e:source . {(5.6 28.5) math:difference -22.9} a e:Builtin. }; e:source . {(-873.06212987013 -22.9) math:difference -850.16212987013} a e:Builtin. }; e:source . {:meas47 :ddL13 -15.9719480519481} a e:Lemma. {(-850.16212987013 -15.9719480519481) math:quotient 53.2284557340792} a e:Builtin. }; e:source . {:meas47 :p4xCm 54.7} a e:Lemma. {(53.2284557340792 54.7) math:difference -1.47154426592077} a e:Builtin. }; e:source . {(-1.47154426592077 2) math:exponentiation 2.1654425265643} a e:Builtin. }; e:source . {:meas47 :sdy64Cm2 548.071713851501} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :dy64Cm -23.410931503285} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p6yCm 5.08906849671502} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :pL1dx62Cm -0.51093150328498} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :cL1 -0.0628571428571429} a e:Lemma. {:meas47 :dx62Cm 8.12845573407923} e:because { {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 :p6xCm 53.2284557340792} a e:Lemma. {:meas47 :p2xCm 45.1} a e:Lemma. {(53.2284557340792 45.1) math:difference 8.12845573407923} a e:Builtin. }; e:source . {(-0.0628571428571429 8.12845573407923) math:product -0.51093150328498} a e:Builtin. }; e:source . {:meas47 :p2yCm 5.6} a e:Lemma. {(-0.51093150328498 5.6) math:sum 5.08906849671502} a e:Builtin. }; e:source . {:meas47 :p4yCm 28.5} a e:Lemma. {(5.08906849671502 28.5) math:difference -23.410931503285} a e:Builtin. }; e:source . {(-23.410931503285 2) math:exponentiation 548.071713851501} a e:Builtin. }; e:source . {(2.1654425265643 548.071713851501) math:sum 550.237156378065} a e:Builtin. }; e:source . {(550.237156378065 0.5) math:exponentiation 23.4571344451548} a e:Builtin. }; e:source . {(21.5489004646173 23.4571344451548) math:difference -1.9082339805375} a e:Builtin. }; e:source . {-1.9082339805375 math:lessThan -1.25} a e:Builtin. }; e:source . {:meas47 rdf:type :Measurement} a e:Lemma. {:meas47 rdf:type :LLDAlarm} a e:Lemma. } e:possibility 1. :meas47 rdf:type :LLDAlarm. #ENDS 20 msec. #metastatic.. /home/amdus/euler5 http://localhost/.euler+--prolog-bchain+--nefq+http%3A%2F%2Feulersharp.sourceforge.net%2F2004%2F04test%2FmetastaticP.n3+--query+http%3A%2F%2Feulersharp.sourceforge.net%2F2004%2F04test%2FmetastaticQ.n3 #Processed by Id: euler.yap 1355 2007-06-24 20:39:24Z josd @prefix str: . @prefix var: . @prefix q: . @prefix list: . @prefix e: . @prefix fn: . @prefix xsd: . @prefix : . @prefix time: . @prefix log: . @prefix rdfs: . @prefix n3: . @prefix math: . @prefix owl: . @prefix r: . @prefix rdf: . {#possibility {:Coma e:boolean e:F} e:because { {:SerumCalcium e:boolean e:T} e:because { {:MetastaticCancer e:boolean e:T} e:because { {var:_8_ e:true 0.2} a e:Builtin. }; e:source . {var:_8_ e:true 0.8} a e:Builtin. }; e:source . {:BrainTumor e:boolean e:T} e:because { {:MetastaticCancer e:boolean e:T} a e:Lemma. {var:_8_ e:true 0.2} a e:Builtin. }; e:source . {var:_8_ e:true 0.2} a e:Builtin. }; e:source . {:HeadAche e:boolean e:T} e:because { {:BrainTumor e:boolean e:T} a e:Lemma. {var:_8_ e:true 0.8} a e:Builtin. }; e:source . {:MetastaticCancer e:boolean e:T} a e:Lemma. } e:possibility 0.00512. {#possibility {:Coma e:boolean e:F} e:because { {:SerumCalcium e:boolean e:T} e:because { {:MetastaticCancer e:boolean e:T} e:because { {var:_8_ e:true 0.2} a e:Builtin. }; e:source . {var:_8_ e:true 0.8} a e:Builtin. }; e:source . {:BrainTumor e:boolean e:F} e:because { {:MetastaticCancer e:boolean e:T} a e:Lemma. {var:_8_ e:true 0.8} a e:Builtin. }; e:source . {var:_8_ e:true 0.2} a e:Builtin. }; e:source . {:HeadAche e:boolean e:T} e:because { {:BrainTumor e:boolean e:F} a e:Lemma. {var:_8_ e:true 0.6} a e:Builtin. }; e:source . {:MetastaticCancer e:boolean e:T} a e:Lemma. } e:possibility 0.01536. {#possibility {:Coma e:boolean e:F} e:because { {:SerumCalcium e:boolean e:F} e:because { {:MetastaticCancer e:boolean e:T} e:because { {var:_8_ e:true 0.2} a e:Builtin. }; e:source . {var:_8_ e:true 0.2} a e:Builtin. }; e:source . {:BrainTumor e:boolean e:T} e:because { {:MetastaticCancer e:boolean e:T} a e:Lemma. {var:_8_ e:true 0.2} a e:Builtin. }; e:source . {var:_8_ e:true 0.2} a e:Builtin. }; e:source . {:HeadAche e:boolean e:T} e:because { {:BrainTumor e:boolean e:T} a e:Lemma. {var:_8_ e:true 0.8} a e:Builtin. }; e:source . {:MetastaticCancer e:boolean e:T} a e:Lemma. } e:possibility 0.00128. {#possibility {:Coma e:boolean e:F} e:because { {:SerumCalcium e:boolean e:F} e:because { {:MetastaticCancer e:boolean e:T} e:because { {var:_8_ e:true 0.2} a e:Builtin. }; e:source . {var:_8_ e:true 0.2} a e:Builtin. }; e:source . {:BrainTumor e:boolean e:F} e:because { {:MetastaticCancer e:boolean e:T} a e:Lemma. {var:_8_ e:true 0.8} a e:Builtin. }; e:source . {var:_8_ e:true 0.95} a e:Builtin. }; e:source . {:HeadAche e:boolean e:T} e:because { {:BrainTumor e:boolean e:F} a e:Lemma. {var:_8_ e:true 0.6} a e:Builtin. }; e:source . {:MetastaticCancer e:boolean e:T} a e:Lemma. } e:possibility 0.01824. {#possibility {:Coma e:boolean e:F} e:because { {:SerumCalcium e:boolean e:T} e:because { {:MetastaticCancer e:boolean e:F} e:because { {var:_8_ e:true 0.8} a e:Builtin. }; e:source . {var:_8_ e:true 0.2} a e:Builtin. }; e:source . {:BrainTumor e:boolean e:T} e:because { {:MetastaticCancer e:boolean e:F} a e:Lemma. {var:_8_ e:true 0.05} a e:Builtin. }; e:source . {var:_8_ e:true 0.2} a e:Builtin. }; e:source . {:HeadAche e:boolean e:T} e:because { {:BrainTumor e:boolean e:T} a e:Lemma. {var:_8_ e:true 0.8} a e:Builtin. }; e:source . {:MetastaticCancer e:boolean e:F} a e:Lemma. } e:possibility 0.00128. {#possibility {:Coma e:boolean e:F} e:because { {:SerumCalcium e:boolean e:T} e:because { {:MetastaticCancer e:boolean e:F} e:because { {var:_8_ e:true 0.8} a e:Builtin. }; e:source . {var:_8_ e:true 0.2} a e:Builtin. }; e:source . {:BrainTumor e:boolean e:F} e:because { {:MetastaticCancer e:boolean e:F} a e:Lemma. {var:_8_ e:true 0.95} a e:Builtin. }; e:source . {var:_8_ e:true 0.2} a e:Builtin. }; e:source . {:HeadAche e:boolean e:T} e:because { {:BrainTumor e:boolean e:F} a e:Lemma. {var:_8_ e:true 0.6} a e:Builtin. }; e:source . {:MetastaticCancer e:boolean e:F} a e:Lemma. } e:possibility 0.01824. {#possibility {:Coma e:boolean e:F} e:because { {:SerumCalcium e:boolean e:F} e:because { {:MetastaticCancer e:boolean e:F} e:because { {var:_8_ e:true 0.8} a e:Builtin. }; e:source . {var:_8_ e:true 0.8} a e:Builtin. }; e:source . {:BrainTumor e:boolean e:T} e:because { {:MetastaticCancer e:boolean e:F} a e:Lemma. {var:_8_ e:true 0.05} a e:Builtin. }; e:source . {var:_8_ e:true 0.2} a e:Builtin. }; e:source . {:HeadAche e:boolean e:T} e:because { {:BrainTumor e:boolean e:T} a e:Lemma. {var:_8_ e:true 0.8} a e:Builtin. }; e:source . {:MetastaticCancer e:boolean e:F} a e:Lemma. } e:possibility 0.00512. {#possibility {:Coma e:boolean e:F} e:because { {:SerumCalcium e:boolean e:F} e:because { {:MetastaticCancer e:boolean e:F} e:because { {var:_8_ e:true 0.8} a e:Builtin. }; e:source . {var:_8_ e:true 0.8} a e:Builtin. }; e:source . {:BrainTumor e:boolean e:F} e:because { {:MetastaticCancer e:boolean e:F} a e:Lemma. {var:_8_ e:true 0.95} a e:Builtin. }; e:source . {var:_8_ e:true 0.95} a e:Builtin. }; e:source . {:HeadAche e:boolean e:T} e:because { {:BrainTumor e:boolean e:F} a e:Lemma. {var:_8_ e:true 0.6} a e:Builtin. }; e:source . {:MetastaticCancer e:boolean e:F} a e:Lemma. } e:possibility 0.34656. {:Coma e:boolean e:F. :HeadAche e:boolean e:T. 0.539698390938281 e:true 0.0972762645914397} => {:MetastaticCancer e:boolean e:T}. [ e:conclusion {:MetastaticCancer e:boolean e:T}; e:beliefValue 0.0972762645914397; e:informationValue 0.539698390938281]. {:Coma e:boolean e:F. :HeadAche e:boolean e:T. 0.539698390938281 e:true 0.90272373540856} => {:MetastaticCancer e:boolean e:F}. [ e:conclusion {:MetastaticCancer e:boolean e:F}; e:beliefValue 0.90272373540856; e:informationValue 0.539698390938281]. #ENDS 4 msec. #radlex...... /home/amdus/euler5 http://localhost/.euler+--prolog-bchain+http%3A%2F%2Feulersharp.sourceforge.net%2F2004%2F04test%2Fradlex.n3+--query+http%3A%2F%2Feulersharp.sourceforge.net%2F2004%2F04test%2FradlexQ.n3 #Processed by Id: euler.yap 1355 2007-06-24 20:39:24Z josd @prefix math: . @prefix e: . @prefix list: . @prefix q: . @prefix xsd: . @prefix log: . @prefix ACR: . @prefix r: . @prefix rdfs: . @prefix fn: . @prefix time: . @prefix : . @prefix rdf: . @prefix var: . @prefix str: . @prefix owl: . @prefix UMLS: . @prefix n3: . {#possibility {var:e465717_10_ :rl-term :RL432} a e:Fact; e:source . {var:e465717_10_ :axis-term var:e465772_10_} a e:Fact; e:source . {var:e465772_10_ :rl-term :RL433} a e:Fact; e:source . {:RL433 :name "rotator cuff muscles"} a e:Fact; e:source . } e:possibility 1. {#possibility {var:e465717_10_ :rl-term :RL432} a e:Fact; e:source . {var:e465717_10_ :axis-term var:e465817_10_} a e:Fact; e:source . {var:e465817_10_ :rl-term :RL438} a e:Fact; e:source . {:RL438 :name "teres major muscle"} a e:Fact; e:source . } e:possibility 1. {#possibility {var:e465717_10_ :rl-term :RL432} a e:Fact; e:source . {var:e465717_10_ :axis-term var:e465822_10_} a e:Fact; e:source . {var:e465822_10_ :rl-term :RL439} a e:Fact; e:source . {:RL439 :name "deltoid muscle"} a e:Fact; e:source . } e:possibility 1. {#possibility {var:e465717_10_ :rl-term :RL432} a e:Fact; e:source . {var:e465717_10_ :axis-term var:e465827_10_} a e:Fact; e:source . {var:e465827_10_ :rl-term :RL440} a e:Fact; e:source . {:RL440 :name "trapezius muscle"} a e:Fact; e:source . } e:possibility 1. {#possibility {var:e465717_10_ :rl-term :RL432} a e:Fact; e:source . {var:e465717_10_ :axis-term var:e465832_10_} a e:Fact; e:source . {var:e465832_10_ :rl-term :RL441} a e:Fact; e:source . {:RL441 :name "pectoralis major muscle"} a e:Fact; e:source . } e:possibility 1. {#possibility {var:e465717_10_ :rl-term :RL432} a e:Fact; e:source . {var:e465717_10_ :axis-term var:e465837_10_} a e:Fact; e:source . {var:e465837_10_ :rl-term :RL442} a e:Fact; e:source . {:RL442 :name "pectoralis minor muscle"} a e:Fact; e:source . } e:possibility 1. {#possibility {:RL433 :name "rotator cuff muscles"} a e:Fact; e:source . {var:e465717_10_ :rl-term :RL432} a e:Fact; e:source . {var:e465717_10_ :axis-term var:e465772_10_} a e:Fact; e:source . {var:e465772_10_ :rl-term :RL433} a e:Fact; e:source . {:RL433 :name "rotator cuff muscles"} a e:Lemma. } e:possibility 1. {#possibility {:RL438 :name "teres major muscle"} a e:Fact; e:source . {var:e465717_10_ :rl-term :RL432} a e:Fact; e:source . {var:e465717_10_ :axis-term var:e465817_10_} a e:Fact; e:source . {var:e465817_10_ :rl-term :RL438} a e:Fact; e:source . {:RL438 :name "teres major muscle"} a e:Lemma. } e:possibility 1. {#possibility {:RL439 :name "deltoid muscle"} a e:Fact; e:source . {var:e465717_10_ :rl-term :RL432} a e:Fact; e:source . {var:e465717_10_ :axis-term var:e465822_10_} a e:Fact; e:source . {var:e465822_10_ :rl-term :RL439} a e:Fact; e:source . {:RL439 :name "deltoid muscle"} a e:Lemma. } e:possibility 1. {#possibility {:RL440 :name "trapezius muscle"} a e:Fact; e:source . {var:e465717_10_ :rl-term :RL432} a e:Fact; e:source . {var:e465717_10_ :axis-term var:e465827_10_} a e:Fact; e:source . {var:e465827_10_ :rl-term :RL440} a e:Fact; e:source . {:RL440 :name "trapezius muscle"} a e:Lemma. } e:possibility 1. {#possibility {:RL441 :name "pectoralis major muscle"} a e:Fact; e:source . {var:e465717_10_ :rl-term :RL432} a e:Fact; e:source . {var:e465717_10_ :axis-term var:e465832_10_} a e:Fact; e:source . {var:e465832_10_ :rl-term :RL441} a e:Fact; e:source . {:RL441 :name "pectoralis major muscle"} a e:Lemma. } e:possibility 1. {#possibility {:RL442 :name "pectoralis minor muscle"} a e:Fact; e:source . {var:e465717_10_ :rl-term :RL432} a e:Fact; e:source . {var:e465717_10_ :axis-term var:e465837_10_} a e:Fact; e:source . {var:e465837_10_ :rl-term :RL442} a e:Fact; e:source . {:RL442 :name "pectoralis minor muscle"} a e:Lemma. } e:possibility 1. :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 88 msec.