Context                Previous, Next                Top


9_a_johnson_letter
This will cost lives.

%3 r_0009_0002__will will r_0009_0003__cost cost r_0009_0002__will->r_0009_0003__cost [scope] r_0009_0001__This This r_0009_0003__cost->r_0009_0001__This [arg0] r_0009_0004__lives lives r_0009_0003__cost->r_0009_0004__lives [arg1] 
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_0004__lives lives r_0009_0002__will_r_0009_0003__cost->r_0009_0004__lives [arg1] r_0009_0001__This This r_0009_0002__will_r_0009_0003__cost->r_0009_0001__This [arg0] 
fof(formula,axiom,
    ? [R_9_2_WILL_COST,R_9_1_THIS,R_9_4_LIVES] :
      ( this(R_9_1_THIS)
      & lives(R_9_4_LIVES)
      & will_cost(R_9_2_WILL_COST,R_9_1_THIS,R_9_4_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))