(in-tbox sepsis)

(signature
   :atomic-concepts (disease infection sepsis
                                    treatment chronicdialysis vasoactivemedication
                                    symptom hypoperfusion hypotension organdysfunction
                                    patient septicpatient boneseptic strictseptic
                                    roughsets lowerapr upperapr roughclass
                                    rsseptic lowerseptic upperseptic)
  :roles ((hasdiagnosis  :domain patient :range disease)
              (hasmedication :domain patient :range treatment)
              (hassymptom  :domain patient :range symptom)
              (laprs :feature t :domain roughclass :range lowerapr) 
              (uaprs :feature t :domain roughclass :range lowerapr))
  :attributes((real temperature)
                     (real urineoutput)
                     (real ph)
                     (real hasdialysis)
                     (real heartrate)
                     (real leukocytecount)
                     (real paco2count)
                     (real pao2fio2)
                     (real respiratoryrate)
                     (real systolicbloodpressure)
                     (real thrombocytecount) )
  :individuals (john mary jane pierre andrea josh aldo jan milena mien arturo heinrich kieran aoife thembela sven inf1 inf2 inf3 inf4 inf5 inf6 inf7 inf8 inf9 inf10 inf11 inf12 inf13 inf14 ohh1 ohh2 ohh3 ohh4 ohh5 ohh6 ohh7 ohh8 ohh9 ohh10 ohh11 ohh12 ohh13 ohh14 ohh15 vaso1 vaso2 vaso3)
  :objects(temp-john temp-mary temp-jane temp-pierre temp-andrea temp-josh temp-aldo temp-jan temp-milena temp-mien temp-arturo temp-heinrich temp-kieran temp-aoife temp-thembela temp-sven
                 uri-john uri-mary uri-jane uri-pierre uri-andrea uri-josh uri-aldo uri-jan uri-milena uri-mien uri-arturo uri-heinrich uri-kieran uri-aoife uri-thembela uri-sven
                 ph-john ph-mary ph-jane ph-pierre ph-andrea ph-josh ph-aldo ph-jan ph-milena ph-mien ph-arturo ph-heinrich ph-kieran ph-aoife ph-thembela ph-sven
                 dial-john dial-mary dial-jane dial-pierre dial-andrea dial-josh dial-aldo dial-jan dial-milena dial-mien dial-arturo dial-heinrich dial-kieran dial-aoife dial-thembela dial-sven
                 heart-john heart-mary heart-jane heart-pierre heart-andrea heart-josh heart-aldo heart-jan heart-milena heart-mien heart-arturo heart-heinrich heart-kieran heart-aoife heart-thembela heart-sven
                 leuk-john leuk-mary leuk-jane leuk-pierre leuk-andrea leuk-josh leuk-aldo leuk-jan leuk-milena leuk-mien leuk-arturo leuk-heinrich leuk-kieran leuk-aoife leuk-thembela leuk-sven
                 paco2-john paco2-mary paco2-jane paco2-pierre paco2-andrea paco2-josh paco2-aldo paco2-jan paco2-milena paco2-mien paco2-arturo paco2-heinrich paco2-kieran paco2-aoife paco2-thembela paco2-sven
                 fio2-john fio2-mary fio2-jane fio2-pierre fio2-andrea fio2-josh fio2-aldo fio2-jan fio2-milena fio2-mien fio2-arturo fio2-heinrich fio2-kieran fio2-aoife fio2-thembela fio2-sven
                 resp-john resp-mary resp-jane resp-pierre resp-andrea resp-josh resp-aldo resp-jan resp-milena resp-mien resp-arturo resp-heinrich resp-kieran resp-aoife resp-thembela resp-sven
                 sysbl-john sysbl-mary sysbl-jane sysbl-pierre sysbl-andrea sysbl-josh sysbl-aldo sysbl-jan sysbl-milena sysbl-mien sysbl-arturo sysbl-heinrich sysbl-kieran sysbl-aoife sysbl-thembela sysbl-sven
                 throm-john throm-mary throm-jane throm-pierre throm-andrea throm-josh throm-aldo throm-jan throm-milena throm-mien throm-arturo throm-heinrich throm-kieran throm-aoife throm-thembela throm-sven
   )
)

(implies infection disease)
(implies sepsis disease)
(implies chronicdialysis treatment)
(implies vasoactivemedication treatment)
(implies hypoperfusion symptom)
(implies hypotension symptom)
(implies organdysfunction symptom)
(equivalent septicpatient (and patient (some hasdiagnosis infection)))
(implies boneseptic septicpatient)
(implies strictseptic septicpatient)
(implies upperseptic upperapr)
(implies rsseptic roughclass)
(implies lowerseptic lowerapr)
(implies roughclass   
     (and (some laprs lowerapr) (some uaprs upperapr)))
(implies roughclass upperapr) 
(implies upperapr roughsets)
(implies roughclass upperapr) 
(implies lowerapr roughclass)

(equivalent boneseptic
   (and (some hasdiagnosis infection) 
         (some hassymptom (or hypoperfusion hypotension organdysfunction))
         (or 
(and 
(or (> temperature 38) (< temperature 36)) 
(or (> respiratoryrate 20) (< paco2count 32) ) ) 
(and 
(or (> temperature 38) (< temperature 36)) 
(> heartrate 90))
(and
(or (> temperature 38) (< temperature 36)) 
(or (< leukocytecount 4000) (> leukocytecount 12000)))
(and 
(or (> respiratoryrate 20) (< paco2count 32) )
(> heartrate 90))
(and 
(or (> respiratoryrate 20) (< paco2count 32) )
(or (< leukocytecount 4000) (> leukocytecount 12000)))
(and 
(> heartrate 90)
(or (< leukocytecount 4000) (> leukocytecount 12000)))
        )
   )
)

(equivalent strictseptic
   (and (some hasdiagnosis infection) 
         (some hassymptom (or hypoperfusion hypotension organdysfunction))
         (or 
            (and 
              (or (> temperature 38) (< temperature 36)) 
              (or (> respiratoryrate 20) (< paco2count 32) ) ) 
            (and 
              (or (> temperature 38) (< temperature 36)) 
              (> heartrate 90))
            (and
              (or (> temperature 38) (< temperature 36)) 
              (or (< leukocytecount 4000) (> leukocytecount 12000)))
            (and 
              (or (> respiratoryrate 20) (< paco2count 32) )
              (> heartrate 90))
            (and 
              (or (> respiratoryrate 20) (< paco2count 32) )
              (or (< leukocytecount 4000) (> leukocytecount 12000)))
            (and 
              (> heartrate 90)
              (or (< leukocytecount 4000) (> leukocytecount 12000)))
        )
       (or
            (and
              (<= ph 7.3)
              (< thrombocytecount 80000)
              (and (< urineoutput 0.5) (<= hasdialysis 1)))
            (and
              (<= ph 7.3)
              (< thrombocytecount 80000)
              (<= pao2fio2 250))
            (and
              (<= ph 7.3)
              (< thrombocytecount 80000)
              (or (< systolicbloodpressure 90) (some hasmedication vasoactivemedication)))
            (and
              (<= ph 7.3)
              (and (< urineoutput 0.5) (<= hasdialysis 1))
              (<= pao2fio2 250))
            (and
              (<= ph 7.3)
              (and (< urineoutput 0.5) (<= hasdialysis 1))
              (or (< systolicbloodpressure 90) (some hasmedication vasoactivemedication)))
            (and
              (<= ph 7.3)
              (<= pao2fio2 250)
              (or (< systolicbloodpressure 90) (some hasmedication vasoactivemedication)))
            (and
              (< thrombocytecount 80000)
              (and (< urineoutput 0.5) (<= hasdialysis 1))
              (<= pao2fio2 250))
            (and
              (< thrombocytecount 80000)
              (and (< urineoutput 0.5) (<= hasdialysis 1))
              (or (< systolicbloodpressure 90) (some hasmedication vasoactivemedication)))
            (and
              (< thrombocytecount 80000)
              (<= pao2fio2 250)
              (or (< systolicbloodpressure 90) (some hasmedication vasoactivemedication)))
            (and
              (and (< urineoutput 0.5) (<= hasdialysis 1))
              (<= pao2fio2 250)
              (or (< systolicbloodpressure 90) (some hasmedication vasoactivemedication)))
       )
   )
)

(in-abox sepsis-patients)

(instance inf1 infection)
(instance inf2 infection)
(instance inf3 infection)
(instance inf4 infection)
(instance inf5 infection)
(instance inf6 infection)
(instance inf7 infection)
(instance inf8 infection)
(instance inf9 infection)
(instance inf10 infection)
(instance inf11 infection)
(instance inf12 infection)
(instance inf13 infection)
(instance inf14 infection)
(instance ohh1 hypotension)
(instance ohh2 hypotension)
(instance ohh3 hypotension)
(instance ohh4 hypotension)
(instance ohh5 hypotension)
(instance ohh6 hypotension)
(instance ohh7 hypotension)
(instance ohh8 hypotension)
(instance ohh9 hypotension)
(instance ohh10 hypotension)
(instance ohh11 hypotension)
(instance ohh12 hypotension)
(instance ohh13 hypotension)
(instance ohh14 hypotension)
(instance ohh15 hypotension)
(instance vaso1 vasoactivemedication)
(instance vaso2 vasoactivemedication)
(instance vaso3 vasoactivemedication)

(related john inf1 hasdiagnosis)
(related john ohh1 hassymptom)

(related mary inf2 hasdiagnosis)
(related mary ohh2 hassymptom)

(related jane inf3 hasdiagnosis)
(related jane ohh3 hassymptom)

(related pierre inf4 hasdiagnosis)
(related pierre ohh4 hassymptom)

(related andrea inf5 hasdiagnosis)
(related andrea ohh5 hassymptom)

(related josh inf6 hasdiagnosis)
(related josh ohh6 hassymptom)

(related aldo inf7 hasdiagnosis)
(related aldo ohh7 hassymptom)

(related jan inf8 hasdiagnosis)
(related jan ohh8 hassymptom)

(related milena inf9 hasdiagnosis)
(related milena ohh9 hassymptom)
(related milena vaso1 hasmedication)

(related mien inf10 hasdiagnosis)
(related mien ohh10 hassymptom)
(related mien vaso2 hasmedication)

(related arturo inf11 hasdiagnosis)
(related arturo ohh11 hassymptom)
(related arturo vaso3 hasmedication)

(related heinrich ohh12 hassymptom)

(related kieran inf12 hasdiagnosis)
(related aoife ohh13  hassymptom)

(related thembela inf13 hasdiagnosis)
(related thembela ohh14 hassymptom)

(related sven inf14 hasdiagnosis)
(related sven ohh15 hassymptom)

(constrained john temp-john temperature)
(constrained mary temp-mary  temperature) 
(constrained jane temp-jane  temperature)
(constrained pierre temp-pierre  temperature)
(constrained andrea temp-andrea  temperature)
(constrained josh temp-josh  temperature)
(constrained aldo temp-aldo  temperature)
(constrained jan temp-jan  temperature)
(constrained milena temp-milena  temperature)
(constrained mien temp-mien  temperature)
(constrained arturo temp-arturo  temperature)
(constrained heinrich temp-heinrich  temperature)
(constrained kieran temp-kieran  temperature)
(constrained aoife temp-aoife temperature)
(constrained thembela temp-thembela temperature)
(constrained sven temp-sven temperature)

(constrained john uri-john urineoutput)
(constrained mary uri-mary urineoutput) 
(constrained jane uri-jane urineoutput)
(constrained pierre uri-pierre urineoutput)
(constrained andrea uri-andrea urineoutput)
(constrained josh uri-josh urineoutput)
(constrained aldo uri-aldo urineoutput)
(constrained jan uri-jan urineoutput)
(constrained milena uri-milena urineoutput)
(constrained mien uri-mien urineoutput)
(constrained arturo uri-arturo urineoutput)
(constrained heinrich  uri-heinrich urineoutput) 
(constrained kieran uri-kieran urineoutput)
(constrained aoife uri-aoife urineoutput)
(constrained thembela uri-thembela urineoutput)
(constrained sven uri-sven urineoutput)

(constrained john ph-john ph)
(constrained mary ph-mary ph) 
(constrained jane ph-jane ph)
(constrained pierre ph-pierre ph)
(constrained andrea ph-andrea ph)
(constrained josh ph-josh ph)
(constrained aldo ph-aldo ph)
(constrained jan ph-jan ph)
(constrained milena ph-milena ph)
(constrained mien ph-mien ph)
(constrained arturo ph-arturo ph)
(constrained heinrich ph-heinrich ph)
(constrained kieran ph-kieran ph)
(constrained aoife ph-aoife ph)
(constrained thembela ph-thembela ph)
(constrained sven ph-sven ph)

(constrained john dial-john hasdialysis)
(constrained mary dial-mary hasdialysis)
(constrained jane dial-jane hasdialysis)
(constrained pierre dial-pierre hasdialysis)
(constrained andrea dial-andrea hasdialysis)
(constrained josh dial-josh hasdialysis)
(constrained aldo dial-aldo hasdialysis)
(constrained jan dial-jan hasdialysis)
(constrained milena dial-milena hasdialysis)
(constrained mien dial-mien hasdialysis)
(constrained arturo dial-arturo hasdialysis)
(constrained heinrich dial-heinrich hasdialysis)
(constrained kieran dial-kieran hasdialysis)
(constrained aoife dial-aoife hasdialysis)
(constrained thembela dial-thembela hasdialysis)
(constrained sven dial-sven hasdialysis)

(constrained john heart-john heartrate)
(constrained mary heart-mary heartrate)
(constrained jane heart-jane heartrate)
(constrained pierre heart-pierre heartrate)
(constrained andrea heart-andrea heartrate)
(constrained josh heart-josh heartrate)
(constrained aldo heart-aldo heartrate)
(constrained jan heart-jan heartrate)
(constrained milena heart-milena heartrate)
(constrained mien heart-mien heartrate)
(constrained arturo heart-arturo heartrate)
(constrained heinrich heart-heinrich heartrate)
(constrained kieran heart-kieran heartrate)
(constrained aoife heart-aoife heartrate)
(constrained thembela heart-thembela heartrate)
(constrained sven heart-sven heartrate)

(constrained john leuk-john leukocytecount)
(constrained mary leuk-mary leukocytecount)
(constrained jane leuk-jane leukocytecount)
(constrained pierre leuk-pierre leukocytecount)
(constrained andrea leuk-andrea leukocytecount)
(constrained josh leuk-josh leukocytecount)
(constrained aldo leuk-aldo leukocytecount)
(constrained jan leuk-jan leukocytecount)
(constrained milena leuk-milena leukocytecount)
(constrained mien leuk-mien leukocytecount)
(constrained arturo leuk-arturo leukocytecount)
(constrained heinrich leuk-heinrich leukocytecount)
(constrained kieran leuk-kieran leukocytecount)
(constrained aoife leuk-aoife leukocytecount)
(constrained thembela leuk-thembela leukocytecount)
(constrained sven leuk-sven leukocytecount)

(constrained john paco2-john paco2count)
(constrained mary paco2-mary paco2count)
(constrained jane paco2-jane paco2count)
(constrained pierre paco2-pierre paco2count)
(constrained andrea paco2-andrea paco2count)
(constrained josh paco2-josh paco2count)
(constrained aldo paco2-aldo paco2count)
(constrained jan paco2-jan paco2count)
(constrained milena paco2-milena paco2count)
(constrained mien paco2-mien paco2count)
(constrained arturo paco2-arturo paco2count)
(constrained heinrich paco2-heinrich paco2count)
(constrained kieran paco2-kieran paco2count)
(constrained aoife paco2-aoife paco2count)
(constrained thembela paco2-thembela paco2count)
(constrained sven paco2-sven paco2count)

(constrained john fio2-john pao2fio2)
(constrained mary fio2-mary pao2fio2)
(constrained jane fio2-jane pao2fio2)
(constrained pierre fio2-pierre pao2fio2)
(constrained andrea fio2-andrea pao2fio2)
(constrained josh fio2-josh pao2fio2)
(constrained aldo fio2-aldo pao2fio2)
(constrained jan fio2-jan pao2fio2)
(constrained milena fio2-milena pao2fio2)
(constrained mien fio2-mien pao2fio2)
(constrained arturo fio2-arturo pao2fio2)
(constrained heinrich fio2-heinrich pao2fio2)
(constrained kieran fio2-kieran pao2fio2)
(constrained aoife fio2-aoife pao2fio2)
(constrained thembela fio2-thembela pao2fio2)
(constrained sven fio2-sven pao2fio2)

(constrained john resp-john respiratoryrate)
(constrained mary resp-mary respiratoryrate)
(constrained jane resp-jane respiratoryrate)
(constrained pierre resp-pierre respiratoryrate)
(constrained andrea resp-andrea respiratoryrate)
(constrained josh resp-josh respiratoryrate)
(constrained aldo resp-aldo respiratoryrate)
(constrained jan resp-jan respiratoryrate)
(constrained milena resp-milena respiratoryrate)
(constrained mien resp-mien respiratoryrate)
(constrained arturo resp-arturo respiratoryrate)
(constrained heinrich resp-heinrich respiratoryrate)
(constrained kieran resp-kieran respiratoryrate)
(constrained aoife resp-aoife respiratoryrate)
(constrained thembela resp-thembela respiratoryrate)
(constrained sven resp-sven respiratoryrate)

(constrained john sysbl-john systolicbloodpressure)
(constrained mary sysbl-mary systolicbloodpressure)
(constrained jane sysbl-jane systolicbloodpressure)
(constrained pierre sysbl-pierre systolicbloodpressure)
(constrained andrea sysbl-andrea systolicbloodpressure)
(constrained josh sysbl-josh systolicbloodpressure)
(constrained aldo sysbl-aldo systolicbloodpressure)
(constrained jan sysbl-jan systolicbloodpressure)
(constrained milena sysbl-milena systolicbloodpressure)
(constrained mien sysbl-mien systolicbloodpressure)
(constrained arturo sysbl-arturo systolicbloodpressure)
(constrained heinrich sysbl-heinrich systolicbloodpressure)
(constrained kieran sysbl-kieran systolicbloodpressure)
(constrained aoife sysbl-aoife systolicbloodpressure)
(constrained thembela sysbl-thembela systolicbloodpressure)
(constrained sven sysbl-sven systolicbloodpressure)

(constrained john throm-john thrombocytecount)
(constrained mary throm-mary thrombocytecount)
(constrained jane throm-jane thrombocytecount)
(constrained pierre throm-pierre thrombocytecount)
(constrained andrea throm-andrea thrombocytecount)
(constrained josh throm-josh thrombocytecount)
(constrained aldo throm-aldo thrombocytecount)
(constrained jan throm-jan thrombocytecount)
(constrained milena throm-milena thrombocytecount)
(constrained mien throm-mien thrombocytecount)
(constrained arturo throm-arturo thrombocytecount)
(constrained heinrich throm-heinrich thrombocytecount)
(constrained kieran throm-kieran thrombocytecount)
(constrained aoife throm-aoife thrombocytecount)
(constrained thembela throm-thembela thrombocytecount)
(constrained sven throm-sven thrombocytecount)

(constraints
   (= temp-john 38.3)
   (= temp-thembela 38.3)
   (= temp-mary 38.3)
   (= temp-jane 39.3)
   (= temp-pierre 39.3)
   (= temp-sven 39.3)
   (= temp-andrea 38.9)
   (= temp-josh 35.8)
   (= temp-aldo 37.5)
   (= temp-jan 39.3)
   (= temp-milena 37.5)
   (= temp-mien 37.5)
   (= temp-arturo 39.0)
   (= temp-heinrich 38.3)
   (= temp-kieran 38.3)
   (= temp-aoife 39.3)
   (= uri-john 0.52)
   (= uri-thembela 0.52)
   (= uri-mary 0.48) 
   (= uri-jane 0.48) 
   (= uri-pierre 0.52) 
   (= uri-sven 0.52) 
   (= uri-andrea 0.48) 
   (= uri-josh 0.44) 
   (= uri-aldo 0.52) 
   (= uri-jan 0.52) 
   (= uri-milena  0.55)
   (= uri-mien  0.49)
   (= uri-arturo  0.49)
   (= uri-heinrich  0.52)
   (= uri-kieran  0.52)
   (= uri-aoife  0.52)
   (= ph-john 7.32)
   (= ph-thembela 7.32)
   (= ph-mary 7.28)
   (= ph-jane 7.28)
   (= ph-pierre 7.28)
   (= ph-sven 7.28)
   (= ph-andrea 7.29)
   (= ph-josh 7.20)
   (= ph-aldo 7.26)
   (= ph-jan 7.28)
   (= ph-milena 7.35)
   (= ph-mien 7.35)
   (= ph-arturo 7.35)
   (= ph-heinrich 7.32)
   (= ph-kieran 7.35)
   (= ph-aoife 7.28)
   (= dial-john 0)
   (= dial-thembela 0)
   (= dial-mary 0) 
   (= dial-jane 0)
   (= dial-pierre 1)
   (= dial-sven 1)
   (= dial-andrea 0)
   (= dial-josh 0)
   (= dial-aldo 1)
   (= dial-jan 1)
   (= dial-milena 0) 
   (= dial-mien 0)
   (= dial-arturo 0)
   (= dial-heinrich 0)
   (= dial-kieran 0)
   (= dial-aoife 1)
   (= heart-john 89) 
   (= heart-thembela 89) 
   (= heart-mary 89) 
   (= heart-jane 89)
   (= heart-pierre 89)
   (= heart-sven 89)
   (= heart-andrea 90)
   (= heart-josh 93)
   (= heart-aldo 90)
   (= heart-jan 89)
   (= heart-milena 89) 
   (= heart-mien 89)
   (= heart-arturo 89)
   (= heart-heinrich 89)
   (= heart-kieran 89)
   (= heart-aoife 89)
   (= leuk-john 13000)
   (= leuk-thembela 13000)
   (= leuk-mary 13000) 
   (= leuk-jane 13000)
   (= leuk-pierre 13000)
   (= leuk-sven 13000)
   (= leuk-andrea 10000)
   (= leuk-josh 3555)
   (= leuk-aldo 11500)
   (= leuk-jan 13000)
   (= leuk-milena 11000)
   (= leuk-mien 11000)
   (= leuk-arturo 11000)
   (= leuk-heinrich 13000)
   (= leuk-kieran 13000)
   (= leuk-aoife 13000)                
   (= paco2-john 33)
   (= paco2-thembela 33)
   (= paco2-mary 30) 
   (= paco2-jane 28)
   (= paco2-pierre 28)
   (= paco2-sven 28)
   (= paco2-andrea 34)
   (= paco2-josh 29)
   (= paco2-aldo 32)
   (= paco2-jan 28)
   (= paco2-milena 29) 
   (= paco2-mien 29)
   (= paco2-arturo 29)
   (= paco2-heinrich 33)
   (= paco2-kieran 33)
   (= paco2-aoife 28)                
   (= fio2-john 260)
   (= fio2-thembela 260)
   (= fio2-mary 260) 
   (= fio2-jane 260)
   (= fio2-pierre 243)
   (= fio2-sven 243)
   (= fio2-andrea 251)
   (= fio2-josh 233)
   (= fio2-aldo 243)
   (= fio2-jan 255)
   (= fio2-milena 240)
   (= fio2-mien 240)
   (= fio2-arturo 240)
   (= fio2-heinrich 260)
   (= fio2-kieran 260)
   (= fio2-aoife 243)
   (=  resp-john 22)
   (=  resp-thembela 22)
   (= resp-mary 20)
   (= resp-jane 20)
   (= resp-pierre 20)
   (= resp-sven 20)
   (= resp-andrea 19)
   (= resp-josh 22)
   (= resp-aldo 21)
   (= resp-jan 20)
   (= resp-milena 21)
   (= resp-mien 21)
   (= resp-arturo 21)
   (= resp-heinrich 22)
   (= resp-kieran 22)
   (= resp-aoife 20)
   (=  sysbl-john 90) 
   (=  sysbl-thembela 90)   
   (= sysbl-mary 90)
   (= sysbl-jane 90)
   (= sysbl-pierre 90)
   (= sysbl-sven 90)
   (= sysbl-andrea 91)
   (= sysbl-josh 83)
   (= sysbl-aldo 91)
   (= sysbl-jan 90)
   (= sysbl-milena 85) 
   (= sysbl-mien 92)
   (= sysbl-arturo 92)
   (= sysbl-heinrich 90)
   (= sysbl-kieran 90)
   (= sysbl-aoife 90)
   (= throm-john 80100)
   (= throm-thembela 80100)
   (= throm-mary 80100) 
   (= throm-jane 70100)
   (= throm-pierre 70100)
   (= throm-sven 70100)
   (= throm-andrea 90000)
   (= throm-josh 70000)
   (= throm-aldo 80050)
   (= throm-jan 70100)
   (= throm-milena 90000) 
   (= throm-mien 90000) 
   (= throm-arturo 90000) 
   (= throm-heinrich 80100)
   (= throm-kieran 80100)
   (= throm-aoife 70100) 
)