Context                Previous, Next                Top


10_a_johnson_letter
We must slow the spread of the disease, and reduce the number of people needing hospital treatment in order to save as many lives as possible.

%3 r_0010_0002__must must r_0010_0010__and and r_0010_0002__must->r_0010_0010__and [scope] r_0010_0003__slow slow r_0010_0010__and->r_0010_0003__slow [conj1] r_0010_0011__reduce reduce r_0010_0010__and->r_0010_0011__reduce [conj2] r_0010_0001__We We r_0010_0003__slow->r_0010_0001__We [arg0] r_0010_0004__the_r_0010_0005__spread the spread r_0010_0003__slow->r_0010_0004__the_r_0010_0005__spread [arg1] r_0010_0007__the_r_0010_0008__disease the disease r_0010_0004__the_r_0010_0005__spread->r_0010_0007__the_r_0010_0008__disease of r_0010_0011__reduce->r_0010_0001__We [arg0] r_0010_0012__the_r_0010_0013__number the number r_0010_0011__reduce->r_0010_0012__the_r_0010_0013__number [arg1] r_0010_0015__people people r_0010_0012__the_r_0010_0013__number->r_0010_0015__people of r_0010_0016__needing needing r_0010_0016__needing->r_0010_0015__people [arg0] r_0010_0017__hospital_r_0010_0018__treatment hospital treatment r_0010_0016__needing->r_0010_0017__hospital_r_0010_0018__treatment [arg1] r_0010_0019__in_order in order r_0010_0019__in_order->r_0010_0002__must [scope] r_0010_0020__to_r_0010_0021__save to save r_0010_0019__in_order->r_0010_0020__to_r_0010_0021__save [restriction] r_0010_0020__to_r_0010_0021__save->r_0010_0001__We [arg0] r_0010_0024__lives lives r_0010_0020__to_r_0010_0021__save->r_0010_0024__lives [arg1] r_0010_0023__many many r_0010_0024__lives->r_0010_0023__many [attrib] r_0010_0022__as as r_0010_0023__many->r_0010_0022__as [qual] z_000_10_a_johnson_letter_74 r_0010_0023__many->z_000_10_a_johnson_letter_74 as r_0010_0026__possible possible z_000_10_a_johnson_letter_74->r_0010_0026__possible [attrib] 
arc(r_0010_0002__must, r_0010_0010__and, scope).
arc(r_0010_0003__slow, r_0010_0001__We, arg0).
arc(r_0010_0003__slow, r_0010_0004__the_r_0010_0005__spread, arg1).
arc(r_0010_0004__the_r_0010_0005__spread, r_0010_0007__the_r_0010_0008__disease, r_0010_0006__of).
arc(r_0010_0010__and, r_0010_0003__slow, conj1).
arc(r_0010_0010__and, r_0010_0011__reduce, conj2).
arc(r_0010_0011__reduce, r_0010_0001__We, arg0).
arc(r_0010_0011__reduce, r_0010_0012__the_r_0010_0013__number, arg1).
arc(r_0010_0012__the_r_0010_0013__number, r_0010_0015__people, r_0010_0014__of).
arc(r_0010_0016__needing, r_0010_0015__people, arg0).
arc(r_0010_0016__needing, r_0010_0017__hospital_r_0010_0018__treatment, arg1).
arc(r_0010_0019__in_order, r_0010_0002__must, scope).
arc(r_0010_0019__in_order, r_0010_0020__to_r_0010_0021__save, restriction).
arc(r_0010_0020__to_r_0010_0021__save, r_0010_0001__We, arg0).
arc(r_0010_0020__to_r_0010_0021__save, r_0010_0024__lives, arg1).
arc(r_0010_0023__many, r_0010_0022__as, qual62).
arc(r_0010_0023__many, z_000_10_a_johnson_letter_74, r_0010_0025__as).
arc(r_0010_0024__lives, r_0010_0023__many, attrib61).
arc(z_000_10_a_johnson_letter_74, r_0010_0026__possible, attrib75).


%3 r_0010_0002__must must r_0010_0010__and and r_0010_0002__must->r_0010_0010__and [keep_scope] r_0010_0003__slow slow r_0010_0010__and->r_0010_0003__slow [conj1] r_0010_0011__reduce reduce r_0010_0010__and->r_0010_0011__reduce [conj2] r_0010_0001__We We r_0010_0003__slow->r_0010_0001__We [arg0] r_0010_0004__the_r_0010_0005__spread the spread r_0010_0003__slow->r_0010_0004__the_r_0010_0005__spread [arg1] r_0010_0007__the_r_0010_0008__disease the disease r_0010_0004__the_r_0010_0005__spread->r_0010_0007__the_r_0010_0008__disease of r_0010_0011__reduce->r_0010_0001__We [arg0] r_0010_0012__the_r_0010_0013__number the number r_0010_0011__reduce->r_0010_0012__the_r_0010_0013__number [arg1] r_0010_0015__people people r_0010_0012__the_r_0010_0013__number->r_0010_0015__people of r_0010_0016__needing needing r_0010_0016__needing->r_0010_0015__people [arg0] r_0010_0017__hospital_r_0010_0018__treatment hospital treatment r_0010_0016__needing->r_0010_0017__hospital_r_0010_0018__treatment [arg1] r_0010_0019__in_order in order r_0010_0019__in_order->r_0010_0002__must [conj2] r_0010_0020__to_r_0010_0021__save to save r_0010_0019__in_order->r_0010_0020__to_r_0010_0021__save [conj1] r_0010_0020__to_r_0010_0021__save->r_0010_0001__We [arg0] r_0010_0024__lives lives r_0010_0020__to_r_0010_0021__save->r_0010_0024__lives [arg1] r_0010_0023__many many r_0010_0024__lives->r_0010_0023__many [attrib] r_0010_0022__as as r_0010_0023__many->r_0010_0022__as [qual] z_000_10_a_johnson_letter_74 r_0010_0023__many->z_000_10_a_johnson_letter_74 as r_0010_0026__possible possible z_000_10_a_johnson_letter_74->r_0010_0026__possible [attrib] 
fof(formula,axiom,
    ? [R_10_16_NEEDING,R_10_15_PEOPLE,R_10_17_HOSPITAL_TREATMENT,R_10_19_IN_ORDER,R_10_20_TO_SAVE,R_10_1_WE,R_10_24_LIVES,R_10_23_MANY,R_10_22_AS,Z_10_A_JOHNSON_LETTER_74,R_10_26_POSSIBLE] :
      ( people(R_10_15_PEOPLE)
      & hospital_treatment(R_10_17_HOSPITAL_TREATMENT)
      & we(R_10_1_WE)
      & as(R_10_22_AS)
      & possible(R_10_26_POSSIBLE)
      & needing(R_10_16_NEEDING,R_10_15_PEOPLE,R_10_17_HOSPITAL_TREATMENT)
      & in_order(R_10_19_IN_ORDER)
      & conj1(R_10_19_IN_ORDER,R_10_20_TO_SAVE)
      & to_save(R_10_20_TO_SAVE,R_10_1_WE,R_10_24_LIVES)
      & lives(R_10_24_LIVES)
      & attrib61(R_10_24_LIVES,R_10_23_MANY)
      & many(R_10_23_MANY)
      & qual62(R_10_23_MANY,R_10_22_AS)
      & as(R_10_23_MANY,Z_10_A_JOHNSON_LETTER_74)
      & z_10_a_johnson_letter_74(Z_10_A_JOHNSON_LETTER_74)
      & attrib75(Z_10_A_JOHNSON_LETTER_74,R_10_26_POSSIBLE)
      & conj2(R_10_19_IN_ORDER,R_10_2_MUST)
      & ~ ? [R_10_10_AND,R_10_3_SLOW,R_10_4_THE_SPREAD,R_10_7_THE_DISEASE,R_10_11_REDUCE,R_10_12_THE_NUMBER] :
            ( the_disease(R_10_7_THE_DISEASE)
            & and(R_10_10_AND)
            & conj1(R_10_10_AND,R_10_3_SLOW)
            & slow(R_10_3_SLOW,R_10_1_WE,R_10_4_THE_SPREAD)
            & the_spread(R_10_4_THE_SPREAD)
            & of(R_10_4_THE_SPREAD,R_10_7_THE_DISEASE)
            & conj2(R_10_10_AND,R_10_11_REDUCE)
            & reduce(R_10_11_REDUCE,R_10_1_WE,R_10_12_THE_NUMBER)
            & the_number(R_10_12_THE_NUMBER)
            & of(R_10_12_THE_NUMBER,R_10_15_PEOPLE) ) ) ).


n10_a_johnson_letter n10_a_johnson_letter_4 We n10_a_johnson_letter_6 must n10_a_johnson_letter_11 slow n10_a_johnson_letter_14 the n10_a_johnson_letter_16 spread n10_a_johnson_letter_19 of n10_a_johnson_letter_22 the n10_a_johnson_letter_24 disease n10_a_johnson_letter_26 , n10_a_johnson_letter_29 and n10_a_johnson_letter_32 reduce n10_a_johnson_letter_35 the n10_a_johnson_letter_37 number n10_a_johnson_letter_40 of n10_a_johnson_letter_43 people n10_a_johnson_letter_46 needing n10_a_johnson_letter_49 hospital n10_a_johnson_letter_51 treatment n10_a_johnson_letter_54 in_order n10_a_johnson_letter_57 to n10_a_johnson_letter_59 save n10_a_johnson_letter_64 as n10_a_johnson_letter_66 many n10_a_johnson_letter_68 *ICH*-162 n10_a_johnson_letter_70 lives n10_a_johnson_letter_73 as n10_a_johnson_letter_77 possible n10_a_johnson_letter_79 . n10_a_johnson_letter_1 IP-MAT n10_a_johnson_letter_2 NP-SBJ n10_a_johnson_letter_1->n10_a_johnson_letter_2 n10_a_johnson_letter_5 MD;_cat_Vi_ n10_a_johnson_letter_1->n10_a_johnson_letter_5 n10_a_johnson_letter_7 IP-INF-CAT n10_a_johnson_letter_1->n10_a_johnson_letter_7 n10_a_johnson_letter_52 PP-SCON n10_a_johnson_letter_1->n10_a_johnson_letter_52 n10_a_johnson_letter_78 PUNC n10_a_johnson_letter_1->n10_a_johnson_letter_78 n10_a_johnson_letter_3 PRO n10_a_johnson_letter_2->n10_a_johnson_letter_3 n10_a_johnson_letter_3->n10_a_johnson_letter_4 n10_a_johnson_letter_5->n10_a_johnson_letter_6 n10_a_johnson_letter_8 ILYR n10_a_johnson_letter_7->n10_a_johnson_letter_8 n10_a_johnson_letter_9 ILYR n10_a_johnson_letter_8->n10_a_johnson_letter_9 n10_a_johnson_letter_25 PUNC n10_a_johnson_letter_8->n10_a_johnson_letter_25 n10_a_johnson_letter_27 CONJP n10_a_johnson_letter_8->n10_a_johnson_letter_27 n10_a_johnson_letter_10 VB;_Tn_ n10_a_johnson_letter_9->n10_a_johnson_letter_10 n10_a_johnson_letter_12 NP-OB1 n10_a_johnson_letter_9->n10_a_johnson_letter_12 n10_a_johnson_letter_10->n10_a_johnson_letter_11 n10_a_johnson_letter_13 D n10_a_johnson_letter_12->n10_a_johnson_letter_13 n10_a_johnson_letter_15 N n10_a_johnson_letter_12->n10_a_johnson_letter_15 n10_a_johnson_letter_17 PP n10_a_johnson_letter_12->n10_a_johnson_letter_17 n10_a_johnson_letter_13->n10_a_johnson_letter_14 n10_a_johnson_letter_15->n10_a_johnson_letter_16 n10_a_johnson_letter_18 P-ROLE n10_a_johnson_letter_17->n10_a_johnson_letter_18 n10_a_johnson_letter_20 NP n10_a_johnson_letter_17->n10_a_johnson_letter_20 n10_a_johnson_letter_18->n10_a_johnson_letter_19 n10_a_johnson_letter_21 D n10_a_johnson_letter_20->n10_a_johnson_letter_21 n10_a_johnson_letter_23 N n10_a_johnson_letter_20->n10_a_johnson_letter_23 n10_a_johnson_letter_21->n10_a_johnson_letter_22 n10_a_johnson_letter_23->n10_a_johnson_letter_24 n10_a_johnson_letter_25->n10_a_johnson_letter_26 n10_a_johnson_letter_28 CONJ n10_a_johnson_letter_27->n10_a_johnson_letter_28 n10_a_johnson_letter_30 ILYR n10_a_johnson_letter_27->n10_a_johnson_letter_30 n10_a_johnson_letter_28->n10_a_johnson_letter_29 n10_a_johnson_letter_31 VB;_Tn_ n10_a_johnson_letter_30->n10_a_johnson_letter_31 n10_a_johnson_letter_33 NP-OB1 n10_a_johnson_letter_30->n10_a_johnson_letter_33 n10_a_johnson_letter_31->n10_a_johnson_letter_32 n10_a_johnson_letter_34 D n10_a_johnson_letter_33->n10_a_johnson_letter_34 n10_a_johnson_letter_36 N n10_a_johnson_letter_33->n10_a_johnson_letter_36 n10_a_johnson_letter_38 PP n10_a_johnson_letter_33->n10_a_johnson_letter_38 n10_a_johnson_letter_34->n10_a_johnson_letter_35 n10_a_johnson_letter_36->n10_a_johnson_letter_37 n10_a_johnson_letter_39 P-ROLE n10_a_johnson_letter_38->n10_a_johnson_letter_39 n10_a_johnson_letter_41 NP n10_a_johnson_letter_38->n10_a_johnson_letter_41 n10_a_johnson_letter_39->n10_a_johnson_letter_40 n10_a_johnson_letter_42 NS n10_a_johnson_letter_41->n10_a_johnson_letter_42 n10_a_johnson_letter_44 IP-PPL n10_a_johnson_letter_41->n10_a_johnson_letter_44 n10_a_johnson_letter_42->n10_a_johnson_letter_43 n10_a_johnson_letter_45 VAG;_Tn_ n10_a_johnson_letter_44->n10_a_johnson_letter_45 n10_a_johnson_letter_47 NP-OB1 n10_a_johnson_letter_44->n10_a_johnson_letter_47 n10_a_johnson_letter_45->n10_a_johnson_letter_46 n10_a_johnson_letter_48 N n10_a_johnson_letter_47->n10_a_johnson_letter_48 n10_a_johnson_letter_50 N n10_a_johnson_letter_47->n10_a_johnson_letter_50 n10_a_johnson_letter_48->n10_a_johnson_letter_49 n10_a_johnson_letter_50->n10_a_johnson_letter_51 n10_a_johnson_letter_53 P-CONN n10_a_johnson_letter_52->n10_a_johnson_letter_53 n10_a_johnson_letter_55 IP-INF n10_a_johnson_letter_52->n10_a_johnson_letter_55 n10_a_johnson_letter_53->n10_a_johnson_letter_54 n10_a_johnson_letter_56 TO n10_a_johnson_letter_55->n10_a_johnson_letter_56 n10_a_johnson_letter_58 VB;_Tn_ n10_a_johnson_letter_55->n10_a_johnson_letter_58 n10_a_johnson_letter_60 NP-OB1 n10_a_johnson_letter_55->n10_a_johnson_letter_60 n10_a_johnson_letter_56->n10_a_johnson_letter_57 n10_a_johnson_letter_58->n10_a_johnson_letter_59 n10_a_johnson_letter_61 ADJP n10_a_johnson_letter_60->n10_a_johnson_letter_61 n10_a_johnson_letter_69 NS n10_a_johnson_letter_60->n10_a_johnson_letter_69 n10_a_johnson_letter_71 PP-EPD-162 n10_a_johnson_letter_60->n10_a_johnson_letter_71 n10_a_johnson_letter_62 ADVP n10_a_johnson_letter_61->n10_a_johnson_letter_62 n10_a_johnson_letter_65 ADJ n10_a_johnson_letter_61->n10_a_johnson_letter_65 n10_a_johnson_letter_67 PP n10_a_johnson_letter_61->n10_a_johnson_letter_67 n10_a_johnson_letter_63 ADV n10_a_johnson_letter_62->n10_a_johnson_letter_63 n10_a_johnson_letter_63->n10_a_johnson_letter_64 n10_a_johnson_letter_65->n10_a_johnson_letter_66 n10_a_johnson_letter_67->n10_a_johnson_letter_68 n10_a_johnson_letter_69->n10_a_johnson_letter_70 n10_a_johnson_letter_72 P-ROLE n10_a_johnson_letter_71->n10_a_johnson_letter_72 n10_a_johnson_letter_74 NP n10_a_johnson_letter_71->n10_a_johnson_letter_74 n10_a_johnson_letter_72->n10_a_johnson_letter_73 n10_a_johnson_letter_75 ADJP n10_a_johnson_letter_74->n10_a_johnson_letter_75 n10_a_johnson_letter_76 ADJ n10_a_johnson_letter_75->n10_a_johnson_letter_76 n10_a_johnson_letter_76->n10_a_johnson_letter_77 n10_a_johnson_letter_78->n10_a_johnson_letter_79 
( (IP-MAT (NP-SBJ (PRO We;{we}))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (ILYR (ILYR (VB;_Tn_ slow;{slow})
                                  (NP-OB1 (D the;{the})
                                          (N spread;{spread})
                                          (PP (P-ROLE of;{of})
                                              (NP (D the;{the})
                                                  (N disease;{disease})))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_Tn_ reduce;{reduce})
                                         (NP-OB1 (D the;{the})
                                                 (N number;{number})
                                                 (PP (P-ROLE of;{of})
                                                     (NP (NS people;{people})
                                                         (IP-PPL (VAG;_Tn_ needing;{need})
                                                                 (NP-OB1 (N hospital;{hospital})
                                                                         (N treatment;{treatment}))))))))))
          (PP-SCON (P-CONN in_order;{in_order})
                   (IP-INF (TO to;{to})
                           (VB;_Tn_ save;{save})
                           (NP-OB1 (ADJP (ADVP (ADV as;{as}))
                                         (ADJ many;{many})
                                         (PP *ICH*-162))
                                   (NS lives;{life})
                                   (PP-EPD-162 (P-ROLE as;{as})
                                               (NP (ADJP (ADJ possible;{possible})))))))
          (PUNC .))
  (ID 10_a_johnson_letter))