:Joe :isPrescribed :aspirinLowDose . (show rule)
{var:x_0 :prescribedFor var:x_1. (var:x_2 var:x_1) fl:mu var:x_3. var:x_3 math:greaterThan 0.7 . var:x_4 e:findall (var:x_5 {var:x_0 :excludedFor var:x_5} var:x_6). var:x_4 e:findall (var:x_5 {var:x_0 :excludedFor var:x_5. (var:x_2 var:x_5) fl:mu var:x_7. var:x_7 math:notGreaterThan 0.01} var:x_6)} => {var:x_2 :isPrescribed var:x_0}
var:x_0 = :aspirinLowDose
var:x_1 = :AcuteMyocardialInfarction
var:x_2 = :Joe
var:x_3 = "0.9"
(from: http://josd.github.io/eye/reasoning/medic/medic.n3)
- :aspirinLowDose :prescribedFor :AcuteMyocardialInfarction .
- ( :Joe :AcuteMyocardialInfarction ) :mu "0.9" .
- "0.9" :greaterThan "0.7" .
- ( ( : : ) "1" ) :findall ( :sk_3 { :aspirinLowDose :excludedFor :sk_4 . } ( :ActivePepticUlcerDisease :AllergyForAspirin ) ) .
- ( ( : : ) "1" ) :findall ( :sk_7 { :aspirinLowDose :excludedFor :sk_8 . ( :Joe :sk_8 ) :mu :sk_9 . :sk_9 :notGreaterThan "0.01" . } ( :ActivePepticUlcerDisease :AllergyForAspirin ) ) .
:Joe :isPrescribed :betaBlocker . (show rule)
{var:x_0 :prescribedFor var:x_1. (var:x_2 var:x_1) fl:mu var:x_3. var:x_3 math:greaterThan 0.7 . var:x_4 e:findall (var:x_5 {var:x_0 :excludedFor var:x_5} var:x_6). var:x_4 e:findall (var:x_5 {var:x_0 :excludedFor var:x_5. (var:x_2 var:x_5) fl:mu var:x_7. var:x_7 math:notGreaterThan 0.01} var:x_6)} => {var:x_2 :isPrescribed var:x_0}
var:x_0 = :betaBlocker
var:x_1 = :AcuteMyocardialInfarction
var:x_2 = :Joe
var:x_3 = "0.9"
(from: http://josd.github.io/eye/reasoning/medic/medic.n3)
- :betaBlocker :prescribedFor :AcuteMyocardialInfarction .
- ( :Joe :AcuteMyocardialInfarction ) :mu "0.9" .
- "0.9" :greaterThan "0.7" .
- ( ( : : ) "1" ) :findall ( :sk_13 { :betaBlocker :excludedFor :sk_14 . } ( :SevereAsthma :ChronicObstructivePumonaryDisease ) ) .
- ( ( : : ) "1" ) :findall ( :sk_17 { :betaBlocker :excludedFor :sk_18 . ( :Joe :sk_18 ) :mu :sk_19 . :sk_19 :notGreaterThan "0.01" . } ( :SevereAsthma :ChronicObstructivePumonaryDisease ) ) .