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_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_r_0173_0005__turn would turn r_0173_0004__would_r_0173_0005__turn->r_0173_0002__a_r_0173_0003__savage [arg0] r_0173_0006__away away r_0173_0004__would_r_0173_0005__turn->r_0173_0006__away [clr] r_0173_0007__when when r_0173_0007__when->r_0173_0004__would_r_0173_0005__turn [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_r_0173_0014__needed that was needed r_0173_0009__was->r_0173_0012__that_r_0173_0013__was_r_0173_0014__needed [prd] 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] 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] 
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_5 Only n173_a_loosechange_7 a n173_a_loosechange_9 savage n173_a_loosechange_11 would n173_a_loosechange_14 turn n173_a_loosechange_17 away n173_a_loosechange_20 when n173_a_loosechange_24 it n173_a_loosechange_26 was n173_a_loosechange_29 merely n173_a_loosechange_32 kindness n173_a_loosechange_35 that n173_a_loosechange_37 *T* n173_a_loosechange_39 was n173_a_loosechange_42 * n173_a_loosechange_44 needed n173_a_loosechange_46 . n173_a_loosechange_1 IP-MAT n173_a_loosechange_2 NP-SBJ n173_a_loosechange_1->n173_a_loosechange_2 n173_a_loosechange_10 MD;_cat_Vi_ n173_a_loosechange_1->n173_a_loosechange_10 n173_a_loosechange_12 IP-INF-CAT n173_a_loosechange_1->n173_a_loosechange_12 n173_a_loosechange_18 PP-SCON n173_a_loosechange_1->n173_a_loosechange_18 n173_a_loosechange_45 PUNC n173_a_loosechange_1->n173_a_loosechange_45 n173_a_loosechange_3 ADVP n173_a_loosechange_2->n173_a_loosechange_3 n173_a_loosechange_6 D n173_a_loosechange_2->n173_a_loosechange_6 n173_a_loosechange_8 N n173_a_loosechange_2->n173_a_loosechange_8 n173_a_loosechange_4 ADV n173_a_loosechange_3->n173_a_loosechange_4 n173_a_loosechange_4->n173_a_loosechange_5 n173_a_loosechange_6->n173_a_loosechange_7 n173_a_loosechange_8->n173_a_loosechange_9 n173_a_loosechange_10->n173_a_loosechange_11 n173_a_loosechange_13 VB;_Ip_ n173_a_loosechange_12->n173_a_loosechange_13 n173_a_loosechange_15 ADVP-CLR n173_a_loosechange_12->n173_a_loosechange_15 n173_a_loosechange_13->n173_a_loosechange_14 n173_a_loosechange_16 ADV n173_a_loosechange_15->n173_a_loosechange_16 n173_a_loosechange_16->n173_a_loosechange_17 n173_a_loosechange_19 P-CONN n173_a_loosechange_18->n173_a_loosechange_19 n173_a_loosechange_21 IP-ADV n173_a_loosechange_18->n173_a_loosechange_21 n173_a_loosechange_19->n173_a_loosechange_20 n173_a_loosechange_22 NP-SBJ n173_a_loosechange_21->n173_a_loosechange_22 n173_a_loosechange_25 BED;_cleft_Vn_ n173_a_loosechange_21->n173_a_loosechange_25 n173_a_loosechange_27 ADVP-NIM n173_a_loosechange_21->n173_a_loosechange_27 n173_a_loosechange_30 NP-FOC n173_a_loosechange_21->n173_a_loosechange_30 n173_a_loosechange_33 IP-CLF n173_a_loosechange_21->n173_a_loosechange_33 n173_a_loosechange_23 PRO;_provisional_ n173_a_loosechange_22->n173_a_loosechange_23 n173_a_loosechange_23->n173_a_loosechange_24 n173_a_loosechange_25->n173_a_loosechange_26 n173_a_loosechange_28 ADV n173_a_loosechange_27->n173_a_loosechange_28 n173_a_loosechange_28->n173_a_loosechange_29 n173_a_loosechange_31 N n173_a_loosechange_30->n173_a_loosechange_31 n173_a_loosechange_31->n173_a_loosechange_32 n173_a_loosechange_34 C n173_a_loosechange_33->n173_a_loosechange_34 n173_a_loosechange_36 NP-SBJ n173_a_loosechange_33->n173_a_loosechange_36 n173_a_loosechange_38 BED;_cat_VePASS_ n173_a_loosechange_33->n173_a_loosechange_38 n173_a_loosechange_40 IP-PPL-CAT n173_a_loosechange_33->n173_a_loosechange_40 n173_a_loosechange_34->n173_a_loosechange_35 n173_a_loosechange_36->n173_a_loosechange_37 n173_a_loosechange_38->n173_a_loosechange_39 n173_a_loosechange_41 NP-LGS n173_a_loosechange_40->n173_a_loosechange_41 n173_a_loosechange_43 VVN;__ n173_a_loosechange_40->n173_a_loosechange_43 n173_a_loosechange_41->n173_a_loosechange_42 n173_a_loosechange_43->n173_a_loosechange_44 n173_a_loosechange_45->n173_a_loosechange_46 
( (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))