TSPC 25_a_johnson

25_a_johnson_letter
But we are making the right preparations, and the more we all follow the rules, the fewer lives will be lost and the sooner life can return to normal.

arc(r_0025_0003__are, r_0025_0004__making, scope).
arc(r_0025_0004__making, r_0025_0002__we, arg0).
arc(r_0025_0004__making, r_0025_0005__the_r_0025_0007__preparations, arg1).
arc(r_0025_0005__the_r_0025_0007__preparations, r_0025_0006__right, attrib17).
arc(r_0025_0009__and_r_0025_0024__and, r_0025_0003__are, conj1).
arc(r_0025_0009__and_r_0025_0024__and, r_0025_0028__can, conj3).
arc(r_0025_0009__and_r_0025_0024__and, z_000_25_a_johnson_letter_28, conj2).
arc(r_0025_0014__follow, r_0025_0002__we, arg0).
arc(r_0025_0014__follow, r_0025_0010__the_r_0025_0011__more, nim30).
arc(r_0025_0014__follow, r_0025_0013__all, nim38).
arc(r_0025_0014__follow, r_0025_0015__the_r_0025_0016__rules, arg1).
arc(r_0025_0018__the_r_0025_0020__lives, r_0025_0019__fewer, attrib55).
arc(r_0025_0021__will, r_0025_0022__be, scope).
arc(r_0025_0022__be, r_0025_0023__lost, scope).
arc(r_0025_0023__lost, r_0025_0018__the_r_0025_0020__lives, arg1).
arc(r_0025_0023__lost, z_000_25_a_johnson_letter_66, arg0).
arc(r_0025_0025__the_r_0025_0027__life, r_0025_0026__sooner, qual77).
arc(r_0025_0028__can, r_0025_0029__return, scope).
arc(r_0025_0029__return, r_0025_0025__the_r_0025_0027__life, arg0).
arc(r_0025_0029__return, z_000_25_a_johnson_letter_90, r_0025_0030__to_clr90).
arc(z_000_25_a_johnson_letter_28, r_0025_0014__follow, conj1).
arc(z_000_25_a_johnson_letter_28, r_0025_0021__will, conj2).
arc(z_000_25_a_johnson_letter_90, r_0025_0031__normal, attrib91).

fof(formula,axiom,
    ? [R_0025_0002__WE,R_0025_0006__RIGHT,R_0025_0005__THE_R_0025_0007__PREPARATIONS,R_0025_0003__ARE_R_0025_0004__MAKING,R_0025_0026__SOONER,R_0025_0025__THE_R_0025_0027__LIFE,R_0025_0031__NORMAL,Z_000_25_A_JOHNSON_LETTER_90,R_0025_0028__CAN_R_0025_0029__RETURN,R_0025_0010__THE_R_0025_0011__MORE,R_0025_0013__ALL,R_0025_0015__THE_R_0025_0016__RULES,R_0025_0014__FOLLOW,R_0025_0019__FEWER,R_0025_0018__THE_R_0025_0020__LIVES,Z_000_25_A_JOHNSON_LETTER_66,R_0025_0021__WILL_R_0025_0022__BE_R_0025_0023__LOST,Z_000_25_A_JOHNSON_LETTER_28,R_0025_0009__AND_R_0025_0024__AND] :
      ( r_0025_0002__we(R_0025_0002__WE)
      & r_0025_0006__right(R_0025_0006__RIGHT)
      & r_0025_0010__the_r_0025_0011__more(R_0025_0010__THE_R_0025_0011__MORE)
      & r_0025_0013__all(R_0025_0013__ALL)
      & r_0025_0015__the_r_0025_0016__rules(R_0025_0015__THE_R_0025_0016__RULES)
      & r_0025_0019__fewer(R_0025_0019__FEWER)
      & r_0025_0026__sooner(R_0025_0026__SOONER)
      & r_0025_0031__normal(R_0025_0031__NORMAL)
      & z_000_25_a_johnson_letter_66(Z_000_25_A_JOHNSON_LETTER_66)
      & r_0025_0009__and_r_0025_0024__and(R_0025_0009__AND_R_0025_0024__AND)
      & has_conj2(R_0025_0009__AND_R_0025_0024__AND,Z_000_25_A_JOHNSON_LETTER_28)
      & z_000_25_a_johnson_letter_28(Z_000_25_A_JOHNSON_LETTER_28)
      & has_conj2(Z_000_25_A_JOHNSON_LETTER_28,R_0025_0021__WILL_R_0025_0022__BE_R_0025_0023__LOST)
      & r_0025_0021__will_r_0025_0022__be_r_0025_0023__lost(R_0025_0021__WILL_R_0025_0022__BE_R_0025_0023__LOST)
      & has_arg0(R_0025_0021__WILL_R_0025_0022__BE_R_0025_0023__LOST,Z_000_25_A_JOHNSON_LETTER_66)
      & has_arg1(R_0025_0021__WILL_R_0025_0022__BE_R_0025_0023__LOST,R_0025_0018__THE_R_0025_0020__LIVES)
      & r_0025_0018__the_r_0025_0020__lives(R_0025_0018__THE_R_0025_0020__LIVES)
      & has_attrib55(R_0025_0018__THE_R_0025_0020__LIVES,R_0025_0019__FEWER)
      & has_conj1(Z_000_25_A_JOHNSON_LETTER_28,R_0025_0014__FOLLOW)
      & r_0025_0014__follow(R_0025_0014__FOLLOW)
      & has_arg1(R_0025_0014__FOLLOW,R_0025_0015__THE_R_0025_0016__RULES)
      & has_nim38(R_0025_0014__FOLLOW,R_0025_0013__ALL)
      & has_nim30(R_0025_0014__FOLLOW,R_0025_0010__THE_R_0025_0011__MORE)
      & has_arg0(R_0025_0014__FOLLOW,R_0025_0002__WE)
      & has_conj3(R_0025_0009__AND_R_0025_0024__AND,R_0025_0028__CAN_R_0025_0029__RETURN)
      & r_0025_0028__can_r_0025_0029__return(R_0025_0028__CAN_R_0025_0029__RETURN)
      & has_r_0025_0030__to_clr90(R_0025_0028__CAN_R_0025_0029__RETURN,Z_000_25_A_JOHNSON_LETTER_90)
      & z_000_25_a_johnson_letter_90(Z_000_25_A_JOHNSON_LETTER_90)
      & has_attrib91(Z_000_25_A_JOHNSON_LETTER_90,R_0025_0031__NORMAL)
      & has_arg0(R_0025_0028__CAN_R_0025_0029__RETURN,R_0025_0025__THE_R_0025_0027__LIFE)
      & r_0025_0025__the_r_0025_0027__life(R_0025_0025__THE_R_0025_0027__LIFE)
      & has_qual77(R_0025_0025__THE_R_0025_0027__LIFE,R_0025_0026__SOONER)
      & has_conj1(R_0025_0009__AND_R_0025_0024__AND,R_0025_0003__ARE_R_0025_0004__MAKING)
      & r_0025_0003__are_r_0025_0004__making(R_0025_0003__ARE_R_0025_0004__MAKING)
      & has_arg1(R_0025_0003__ARE_R_0025_0004__MAKING,R_0025_0005__THE_R_0025_0007__PREPARATIONS)
      & r_0025_0005__the_r_0025_0007__preparations(R_0025_0005__THE_R_0025_0007__PREPARATIONS)
      & has_attrib17(R_0025_0005__THE_R_0025_0007__PREPARATIONS,R_0025_0006__RIGHT)
      & has_arg0(R_0025_0003__ARE_R_0025_0004__MAKING,R_0025_0002__WE) ) ).

( (IP-MAT (CONJ;_cl_ But;{but})
          (ILYR (ILYR (NP-SBJ (PRO we;{we}))
                      (BEP;_cat_Vg_ are;{be})
                      (IP-PPL-CAT (VAG;_Tn_ making;{make})
                                  (NP-OB1 (D the;{the})
                                          (ADJP (ADJ right;{right}))
                                          (NS preparations;{preparation}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ILYR (ILYR (NP-NIM (D the;{the})
                                                 (ADJR more;{more}))
                                         (NP-SBJ (PRO we;{we}))
                                         (ADVP-NIM (ADV all;{all}))
                                         (VBP;_Tn_ follow;{follow})
                                         (NP-OB1 (D the;{the})
                                                 (NS rules;{rule})))
                                   (PUNC ,)
                                   (CONJP (ILYR (NP-SBJ (D the;{the})
                                                        (ADJP (ADJR fewer;{few}))
                                                        (NS lives;{life}))
                                                (MD;_cat_Vi_ will;{will})
                                                (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                            (IP-PPL-CAT (NP-LGS *)
                                                                        (VVN;_Tn_ lost;{lose}))))))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (ADVP (ADVR sooner;{soon}))
                                     (N life;{life}))
                             (MD;_cat_Vi_ can;{can})
                             (IP-INF-CAT (VB;_Ipr_ return;{return[to]})
                                         (PP-CLR (P-ROLE to;{to})
                                                 (NP (ADJP (ADJ normal;{normal}))))))))
          (PUNC .))
  (ID 25_a_johnson_letter))