9_a_johnson_letter
This will cost lives.

n9_a_johnson_letter n9_a_johnson_letter__1_1_1_1 This n9_a_johnson_letter__1_2_1 will n9_a_johnson_letter__1_3_1_1 cost n9_a_johnson_letter__1_3_2_1_1 lives n9_a_johnson_letter__1_4_1 . n9_a_johnson_letter__1 IP-MAT n9_a_johnson_letter__1_1 NP-SBJ n9_a_johnson_letter__1->n9_a_johnson_letter__1_1 n9_a_johnson_letter__1_2 MD;_cat_Vi_ n9_a_johnson_letter__1->n9_a_johnson_letter__1_2 n9_a_johnson_letter__1_3 IP-INF-CAT n9_a_johnson_letter__1->n9_a_johnson_letter__1_3 n9_a_johnson_letter__1_4 PUNC n9_a_johnson_letter__1->n9_a_johnson_letter__1_4 n9_a_johnson_letter__1_1_1 D;_nphd_ n9_a_johnson_letter__1_1->n9_a_johnson_letter__1_1_1 n9_a_johnson_letter__1_1_1->n9_a_johnson_letter__1_1_1_1 n9_a_johnson_letter__1_2->n9_a_johnson_letter__1_2_1 n9_a_johnson_letter__1_3_1 VB;_Tn_ n9_a_johnson_letter__1_3->n9_a_johnson_letter__1_3_1 n9_a_johnson_letter__1_3_2 NP-OB1 n9_a_johnson_letter__1_3->n9_a_johnson_letter__1_3_2 n9_a_johnson_letter__1_3_1->n9_a_johnson_letter__1_3_1_1 n9_a_johnson_letter__1_3_2_1 NS n9_a_johnson_letter__1_3_2->n9_a_johnson_letter__1_3_2_1 n9_a_johnson_letter__1_3_2_1->n9_a_johnson_letter__1_3_2_1_1 n9_a_johnson_letter__1_4->n9_a_johnson_letter__1_4_1
( (IP-MAT (NP-SBJ;{UNABLE_TO_COPE} (D;_nphd_ This;{this}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_Tn_ cost;{cost})
                      (NP-OB1 (NS lives;{life})))
          (PUNC .))
  (ID 9_a_johnson_letter))



%3 r_0009_0003__cost cost r_0009_0004__lives lives r_0009_0003__cost->r_0009_0004__lives [arg1] r_0009_0001__This This r_0009_0003__cost->r_0009_0001__This [arg0] r_0009_0002__will will r_0009_0002__will->r_0009_0003__cost [scope]
arc(r_0009_0002__will,r_0009_0003__cost,scope).
arc(r_0009_0003__cost,r_0009_0001__This,arg0).
arc(r_0009_0003__cost,r_0009_0004__lives,arg1).



%3 r_0009_0002__will_r_0009_0003__cost will cost r_0009_0001__This This r_0009_0002__will_r_0009_0003__cost->r_0009_0001__This [arg0] r_0009_0004__lives lives r_0009_0002__will_r_0009_0003__cost->r_0009_0004__lives [arg1]
fof(formula,axiom,
    ? [R_0009_0001__THIS,R_0009_0004__LIVES,R_0009_0002__WILL_R_0009_0003__COST] :
      ( r_0009_0001__This(R_0009_0001__THIS)
      & r_0009_0004__lives(R_0009_0004__LIVES)
      & r_0009_0002__will_r_0009_0003__cost(R_0009_0002__WILL_R_0009_0003__COST)
      & has_arg1(R_0009_0002__WILL_R_0009_0003__COST,R_0009_0004__LIVES)
      & has_arg0(R_0009_0002__WILL_R_0009_0003__COST,R_0009_0001__THIS) ) ).