Context                Previous, Next                Top


173_a_loosechange
Only a savage would turn away when it was merely kindness that was needed.

%3 r_0173_0002__a_r_0173_0003__savage a savage r_0173_0001__Only Only r_0173_0002__a_r_0173_0003__savage->r_0173_0001__Only [qual] r_0173_0004__would would r_0173_0005__turn turn r_0173_0004__would->r_0173_0005__turn [scope] r_0173_0005__turn->r_0173_0002__a_r_0173_0003__savage [arg0] r_0173_0006__away away r_0173_0005__turn->r_0173_0006__away [clr] r_0173_0007__when when r_0173_0007__when->r_0173_0004__would [scope] r_0173_0009__was was r_0173_0007__when->r_0173_0009__was [restriction] r_0173_0010__merely merely r_0173_0009__was->r_0173_0010__merely [nim] r_0173_0011__kindness kindness r_0173_0009__was->r_0173_0011__kindness [arg0] r_0173_0012__that_r_0173_0013__was that was r_0173_0009__was->r_0173_0012__that_r_0173_0013__was [prd] r_0173_0014__needed needed r_0173_0012__that_r_0173_0013__was->r_0173_0014__needed [scope] x_000_173_a_loosechange_33 __ r_0173_0014__needed->x_000_173_a_loosechange_33 [arg1] z_000_173_a_loosechange_41 r_0173_0014__needed->z_000_173_a_loosechange_41 [arg0] 
arc(r_0173_0002__a_r_0173_0003__savage, r_0173_0001__Only, qual3).
arc(r_0173_0004__would, r_0173_0005__turn, scope).
arc(r_0173_0005__turn, r_0173_0002__a_r_0173_0003__savage, arg0).
arc(r_0173_0005__turn, r_0173_0006__away, clr15).
arc(r_0173_0007__when, r_0173_0004__would, scope).
arc(r_0173_0007__when, r_0173_0009__was, restriction).
arc(r_0173_0009__was, r_0173_0010__merely, nim27).
arc(r_0173_0009__was, r_0173_0011__kindness, arg0).
arc(r_0173_0009__was, r_0173_0012__that_r_0173_0013__was, prd).
arc(r_0173_0012__that_r_0173_0013__was, r_0173_0014__needed, scope).
arc(r_0173_0014__needed, x_000_173_a_loosechange_33, arg1).
arc(r_0173_0014__needed, z_000_173_a_loosechange_41, arg0).


%3 r_0173_0012__that_r_0173_0013__was_r_0173_0014__needed that was needed z_000_173_a_loosechange_41 r_0173_0012__that_r_0173_0013__was_r_0173_0014__needed->z_000_173_a_loosechange_41 [arg0] x_000_173_a_loosechange_33 __ r_0173_0012__that_r_0173_0013__was_r_0173_0014__needed->x_000_173_a_loosechange_33 [arg1] r_0173_0009__was was r_0173_0009__was->r_0173_0012__that_r_0173_0013__was_r_0173_0014__needed [prd] r_0173_0011__kindness kindness r_0173_0009__was->r_0173_0011__kindness [arg0] r_0173_0010__merely merely r_0173_0009__was->r_0173_0010__merely [nim] r_0173_0007__when when r_0173_0007__when->r_0173_0009__was [restriction] r_0173_0004__would_r_0173_0005__turn would turn r_0173_0007__when->r_0173_0004__would_r_0173_0005__turn [scope] r_0173_0006__away away r_0173_0004__would_r_0173_0005__turn->r_0173_0006__away [clr] r_0173_0002__a_r_0173_0003__savage a savage r_0173_0004__would_r_0173_0005__turn->r_0173_0002__a_r_0173_0003__savage [arg0] r_0173_0001__Only Only r_0173_0002__a_r_0173_0003__savage->r_0173_0001__Only [qual] 
fof(formula,axiom,
    ! [R_173_9_WAS,R_173_11_KINDNESS,R_173_10_MERELY,R_173_12_THAT_WAS_NEEDED,Z_173_A_LOOSECHANGE_41,X_173_A_LOOSECHANGE_33] :
      ( ( kindness(R_173_11_KINDNESS)
        & merely(R_173_10_MERELY)
        & was(R_173_9_WAS,R_173_11_KINDNESS,R_173_12_THAT_WAS_NEEDED)
        & that_was_needed(R_173_12_THAT_WAS_NEEDED,Z_173_A_LOOSECHANGE_41,X_173_A_LOOSECHANGE_33)
        & nim27(R_173_9_WAS,R_173_10_MERELY) )
     => ? [R_173_4_WOULD_TURN,R_173_2_A_SAVAGE,R_173_1_ONLY,R_173_6_AWAY] :
          ( only(R_173_1_ONLY)
          & away(R_173_6_AWAY)
          & would_turn(R_173_4_WOULD_TURN,R_173_2_A_SAVAGE)
          & a_savage(R_173_2_A_SAVAGE)
          & qual3(R_173_2_A_SAVAGE,R_173_1_ONLY)
          & clr15(R_173_4_WOULD_TURN,R_173_6_AWAY) ) ) ).


n173_a_loosechange n173_a_loosechange__1_1_1_1_1 Only n173_a_loosechange__1_1_2_1 a n173_a_loosechange__1_1_3_1 savage n173_a_loosechange__1_2_1 would n173_a_loosechange__1_3_1_1 turn n173_a_loosechange__1_3_2_1_1 away n173_a_loosechange__1_4_1_1 when n173_a_loosechange__1_4_2_1_1_1 it n173_a_loosechange__1_4_2_2_1 was n173_a_loosechange__1_4_2_3_1_1 merely n173_a_loosechange__1_4_2_4_1_1 kindness n173_a_loosechange__1_4_2_5_1_1 that n173_a_loosechange__1_4_2_5_2_1 *T* n173_a_loosechange__1_4_2_5_3_1 was n173_a_loosechange__1_4_2_5_4_1_1 * n173_a_loosechange__1_4_2_5_4_2_1 needed n173_a_loosechange__1_5_1 . n173_a_loosechange__1 IP-MAT n173_a_loosechange__1_1 NP-SBJ n173_a_loosechange__1->n173_a_loosechange__1_1 n173_a_loosechange__1_2 MD;_cat_Vi_ n173_a_loosechange__1->n173_a_loosechange__1_2 n173_a_loosechange__1_3 IP-INF-CAT n173_a_loosechange__1->n173_a_loosechange__1_3 n173_a_loosechange__1_4 PP-SCON n173_a_loosechange__1->n173_a_loosechange__1_4 n173_a_loosechange__1_5 PUNC n173_a_loosechange__1->n173_a_loosechange__1_5 n173_a_loosechange__1_1_1 ADVP n173_a_loosechange__1_1->n173_a_loosechange__1_1_1 n173_a_loosechange__1_1_2 D n173_a_loosechange__1_1->n173_a_loosechange__1_1_2 n173_a_loosechange__1_1_3 N n173_a_loosechange__1_1->n173_a_loosechange__1_1_3 n173_a_loosechange__1_1_1_1 ADV n173_a_loosechange__1_1_1->n173_a_loosechange__1_1_1_1 n173_a_loosechange__1_1_1_1->n173_a_loosechange__1_1_1_1_1 n173_a_loosechange__1_1_2->n173_a_loosechange__1_1_2_1 n173_a_loosechange__1_1_3->n173_a_loosechange__1_1_3_1 n173_a_loosechange__1_2->n173_a_loosechange__1_2_1 n173_a_loosechange__1_3_1 VB;_Ip_ n173_a_loosechange__1_3->n173_a_loosechange__1_3_1 n173_a_loosechange__1_3_2 ADVP-CLR n173_a_loosechange__1_3->n173_a_loosechange__1_3_2 n173_a_loosechange__1_3_1->n173_a_loosechange__1_3_1_1 n173_a_loosechange__1_3_2_1 ADV n173_a_loosechange__1_3_2->n173_a_loosechange__1_3_2_1 n173_a_loosechange__1_3_2_1->n173_a_loosechange__1_3_2_1_1 n173_a_loosechange__1_4_1 P-CONN n173_a_loosechange__1_4->n173_a_loosechange__1_4_1 n173_a_loosechange__1_4_2 IP-ADV n173_a_loosechange__1_4->n173_a_loosechange__1_4_2 n173_a_loosechange__1_4_1->n173_a_loosechange__1_4_1_1 n173_a_loosechange__1_4_2_1 NP-SBJ n173_a_loosechange__1_4_2->n173_a_loosechange__1_4_2_1 n173_a_loosechange__1_4_2_2 BED;_cleft_Vn_ n173_a_loosechange__1_4_2->n173_a_loosechange__1_4_2_2 n173_a_loosechange__1_4_2_3 ADVP-NIM n173_a_loosechange__1_4_2->n173_a_loosechange__1_4_2_3 n173_a_loosechange__1_4_2_4 NP-FOC n173_a_loosechange__1_4_2->n173_a_loosechange__1_4_2_4 n173_a_loosechange__1_4_2_5 IP-CLF n173_a_loosechange__1_4_2->n173_a_loosechange__1_4_2_5 n173_a_loosechange__1_4_2_1_1 PRO;_provisional_ n173_a_loosechange__1_4_2_1->n173_a_loosechange__1_4_2_1_1 n173_a_loosechange__1_4_2_1_1->n173_a_loosechange__1_4_2_1_1_1 n173_a_loosechange__1_4_2_2->n173_a_loosechange__1_4_2_2_1 n173_a_loosechange__1_4_2_3_1 ADV n173_a_loosechange__1_4_2_3->n173_a_loosechange__1_4_2_3_1 n173_a_loosechange__1_4_2_3_1->n173_a_loosechange__1_4_2_3_1_1 n173_a_loosechange__1_4_2_4_1 N n173_a_loosechange__1_4_2_4->n173_a_loosechange__1_4_2_4_1 n173_a_loosechange__1_4_2_4_1->n173_a_loosechange__1_4_2_4_1_1 n173_a_loosechange__1_4_2_5_1 C n173_a_loosechange__1_4_2_5->n173_a_loosechange__1_4_2_5_1 n173_a_loosechange__1_4_2_5_2 NP-SBJ n173_a_loosechange__1_4_2_5->n173_a_loosechange__1_4_2_5_2 n173_a_loosechange__1_4_2_5_3 BED;_cat_VePASS_ n173_a_loosechange__1_4_2_5->n173_a_loosechange__1_4_2_5_3 n173_a_loosechange__1_4_2_5_4 IP-PPL-CAT n173_a_loosechange__1_4_2_5->n173_a_loosechange__1_4_2_5_4 n173_a_loosechange__1_4_2_5_1->n173_a_loosechange__1_4_2_5_1_1 n173_a_loosechange__1_4_2_5_2->n173_a_loosechange__1_4_2_5_2_1 n173_a_loosechange__1_4_2_5_3->n173_a_loosechange__1_4_2_5_3_1 n173_a_loosechange__1_4_2_5_4_1 NP-LGS n173_a_loosechange__1_4_2_5_4->n173_a_loosechange__1_4_2_5_4_1 n173_a_loosechange__1_4_2_5_4_2 VVN;__ n173_a_loosechange__1_4_2_5_4->n173_a_loosechange__1_4_2_5_4_2 n173_a_loosechange__1_4_2_5_4_1->n173_a_loosechange__1_4_2_5_4_1_1 n173_a_loosechange__1_4_2_5_4_2->n173_a_loosechange__1_4_2_5_4_2_1 n173_a_loosechange__1_5->n173_a_loosechange__1_5_1 
( (IP-MAT (NP-SBJ (ADVP (ADV Only;{only}))
                  (D a;{a})
                  (N savage;{savage}))
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (VB;_Ip_ turn;{turn[away]})
                      (ADVP-CLR (ADV away;{away})))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ (PRO;_provisional_ it;{it}))
                           (BED;_cleft_Vn_ was;{be})
                           (ADVP-NIM (ADV merely;{merely}))
                           (NP-FOC (N kindness;{kindness}))
                           (IP-CLF (C that;{that})
                                   (NP-SBJ *T*)
                                   (BED;_cat_VePASS_ was;{be})
                                   (IP-PPL-CAT (NP-LGS *)
                                               (VVN;__ needed;{need})))))
          (PUNC .))
  (ID 173_a_loosechange))