Context                Previous, Next                Top


522_a_dick_1952
They were so certain that everything was hostile, the enemy, coming to take their possessions away from them.

%3 r_0522_0002__were were r_0522_0001__They They r_0522_0002__were->r_0522_0001__They [arg0] r_0522_0004__certain certain r_0522_0002__were->r_0522_0004__certain [prd] r_0522_0003__so so r_0522_0004__certain->r_0522_0003__so [qual] r_0522_0006__everything_quant everything [quant] r_0522_0004__certain->r_0522_0006__everything_quant [emb] r_0522_0005__that_r_0522_0007__was that was r_0522_0006__everything_quant->r_0522_0005__that_r_0522_0007__was [scope] z_000_522_a_dick_1952_17 r_0522_0006__everything_quant->z_000_522_a_dick_1952_17 [restriction] r_0522_0008__hostile hostile r_0522_0005__that_r_0522_0007__was->r_0522_0008__hostile [prd] r_0522_0005__that_r_0522_0007__was->z_000_522_a_dick_1952_17 [arg0] r_0522_0013__coming coming r_0522_0010__the_r_0522_0011__enemy the enemy r_0522_0013__coming->r_0522_0010__the_r_0522_0011__enemy [arg0] r_0522_0014__to_r_0522_0015__take_r_0522_0018__away to take away r_0522_0014__to_r_0522_0015__take_r_0522_0018__away->r_0522_0001__They from [nim] r_0522_0014__to_r_0522_0015__take_r_0522_0018__away->r_0522_0010__the_r_0522_0011__enemy [arg0] r_0522_0017__possessions possessions r_0522_0014__to_r_0522_0015__take_r_0522_0018__away->r_0522_0017__possessions [arg1] r_0522_0017__possessions->r_0522_0001__They [gen] z_000_522_a_dick_1952_27 z_000_522_a_dick_1952_27->r_0522_0002__were [scope] z_000_522_a_dick_1952_38 z_000_522_a_dick_1952_27->z_000_522_a_dick_1952_38 [restriction] z_000_522_a_dick_1952_38->r_0522_0013__coming [scope] z_000_522_a_dick_1952_38->r_0522_0014__to_r_0522_0015__take_r_0522_0018__away [restriction] 
arc(r_0522_0002__were, r_0522_0001__They, arg0).
arc(r_0522_0002__were, r_0522_0004__certain, prd).
arc(r_0522_0004__certain, r_0522_0003__so, qual8).
arc(r_0522_0004__certain, r_0522_0006__everything_quant, emb14).
arc(r_0522_0005__that_r_0522_0007__was, r_0522_0008__hostile, prd).
arc(r_0522_0005__that_r_0522_0007__was, z_000_522_a_dick_1952_17, arg0).
arc(r_0522_0006__everything_quant, r_0522_0005__that_r_0522_0007__was, scope).
arc(r_0522_0006__everything_quant, z_000_522_a_dick_1952_17, restriction).
arc(r_0522_0013__coming, r_0522_0010__the_r_0522_0011__enemy, arg0).
arc(r_0522_0014__to_r_0522_0015__take_r_0522_0018__away, r_0522_0001__They, r_0522_0019__from_nim55).
arc(r_0522_0014__to_r_0522_0015__take_r_0522_0018__away, r_0522_0010__the_r_0522_0011__enemy, arg0).
arc(r_0522_0014__to_r_0522_0015__take_r_0522_0018__away, r_0522_0017__possessions, arg1).
arc(r_0522_0017__possessions, r_0522_0001__They, gen).
arc(z_000_522_a_dick_1952_27, r_0522_0002__were, scope).
arc(z_000_522_a_dick_1952_27, z_000_522_a_dick_1952_38, restriction).
arc(z_000_522_a_dick_1952_38, r_0522_0013__coming, scope).
arc(z_000_522_a_dick_1952_38, r_0522_0014__to_r_0522_0015__take_r_0522_0018__away, restriction).


%3 r_0522_0002__were were r_0522_0001__They They r_0522_0002__were->r_0522_0001__They [arg0] r_0522_0004__certain certain r_0522_0002__were->r_0522_0004__certain [prd] r_0522_0003__so so r_0522_0004__certain->r_0522_0003__so [qual] r_0522_0006__everything_quant everything [quant] r_0522_0004__certain->r_0522_0006__everything_quant [emb] r_0522_0005__that_r_0522_0007__was that was r_0522_0006__everything_quant->r_0522_0005__that_r_0522_0007__was [scope] z_000_522_a_dick_1952_17 r_0522_0006__everything_quant->z_000_522_a_dick_1952_17 [restriction] r_0522_0008__hostile hostile r_0522_0005__that_r_0522_0007__was->r_0522_0008__hostile [prd] r_0522_0005__that_r_0522_0007__was->z_000_522_a_dick_1952_17 [arg0] r_0522_0013__coming coming r_0522_0010__the_r_0522_0011__enemy the enemy r_0522_0013__coming->r_0522_0010__the_r_0522_0011__enemy [arg0] r_0522_0014__to_r_0522_0015__take_r_0522_0018__away to take away r_0522_0014__to_r_0522_0015__take_r_0522_0018__away->r_0522_0001__They from [nim] r_0522_0014__to_r_0522_0015__take_r_0522_0018__away->r_0522_0010__the_r_0522_0011__enemy [arg0] r_0522_0017__possessions possessions r_0522_0014__to_r_0522_0015__take_r_0522_0018__away->r_0522_0017__possessions [arg1] r_0522_0017__possessions->r_0522_0001__They [gen] z_000_522_a_dick_1952_27 z_000_522_a_dick_1952_27->r_0522_0002__were [conj2] z_000_522_a_dick_1952_38 z_000_522_a_dick_1952_27->z_000_522_a_dick_1952_38 [conj1] z_000_522_a_dick_1952_38->r_0522_0013__coming [conj2] z_000_522_a_dick_1952_38->r_0522_0014__to_r_0522_0015__take_r_0522_0018__away [conj1] 
fof(formula,axiom,
    ? [Z_522_A_DICK_1952_27,Z_522_A_DICK_1952_38,R_522_14_TO_TAKE_AWAY,R_522_17_POSSESSIONS,R_522_13_COMING,R_522_10_THE_ENEMY,R_522_2_WERE,R_522_1_THEY,R_522_4_CERTAIN,R_522_3_SO] :
      ( the_enemy(R_522_10_THE_ENEMY)
      & they(R_522_1_THEY)
      & so(R_522_3_SO)
      & z_522_a_dick_1952_27(Z_522_A_DICK_1952_27)
      & conj1(Z_522_A_DICK_1952_27,Z_522_A_DICK_1952_38)
      & z_522_a_dick_1952_38(Z_522_A_DICK_1952_38)
      & conj1(Z_522_A_DICK_1952_38,R_522_14_TO_TAKE_AWAY)
      & to_take_away(R_522_14_TO_TAKE_AWAY,R_522_10_THE_ENEMY,R_522_17_POSSESSIONS)
      & possessions(R_522_17_POSSESSIONS)
      & gen(R_522_17_POSSESSIONS,R_522_1_THEY)
      & from_nim55(R_522_14_TO_TAKE_AWAY,R_522_1_THEY)
      & conj2(Z_522_A_DICK_1952_38,R_522_13_COMING)
      & coming(R_522_13_COMING,R_522_10_THE_ENEMY)
      & conj2(Z_522_A_DICK_1952_27,R_522_2_WERE)
      & were(R_522_2_WERE,R_522_1_THEY,R_522_4_CERTAIN)
      & ! [Z_522_A_DICK_1952_17] :
          ( true
         => ? [R_522_5_THAT_WAS,R_522_8_HOSTILE] :
              ( hostile(R_522_8_HOSTILE)
              & that_was(R_522_5_THAT_WAS,Z_522_A_DICK_1952_17,R_522_8_HOSTILE) ) )
      & emb14(EMB14)
      & certain(R_522_4_CERTAIN)
      & qual8(R_522_4_CERTAIN,R_522_3_SO) ) ).


n522_a_dick_1952 n522_a_dick_1952_4 They n522_a_dick_1952_6 were n522_a_dick_1952_10 so n522_a_dick_1952_12 certain n522_a_dick_1952_16 that n522_a_dick_1952_19 everything n522_a_dick_1952_21 was n522_a_dick_1952_24 hostile n522_a_dick_1952_26 , n522_a_dick_1952_31 the n522_a_dick_1952_33 enemy n522_a_dick_1952_35 , n522_a_dick_1952_37 coming n522_a_dick_1952_41 to n522_a_dick_1952_43 take n522_a_dick_1952_47 their n522_a_dick_1952_49 possessions n522_a_dick_1952_51 away n522_a_dick_1952_54 from n522_a_dick_1952_57 them n522_a_dick_1952_59 . n522_a_dick_1952_1 IP-MAT n522_a_dick_1952_2 NP-SBJ n522_a_dick_1952_1->n522_a_dick_1952_2 n522_a_dick_1952_5 BED;_La_ n522_a_dick_1952_1->n522_a_dick_1952_5 n522_a_dick_1952_7 ADJP-PRD n522_a_dick_1952_1->n522_a_dick_1952_7 n522_a_dick_1952_25 PUNC n522_a_dick_1952_1->n522_a_dick_1952_25 n522_a_dick_1952_27 PP-SCON n522_a_dick_1952_1->n522_a_dick_1952_27 n522_a_dick_1952_58 PUNC n522_a_dick_1952_1->n522_a_dick_1952_58 n522_a_dick_1952_3 PRO n522_a_dick_1952_2->n522_a_dick_1952_3 n522_a_dick_1952_3->n522_a_dick_1952_4 n522_a_dick_1952_5->n522_a_dick_1952_6 n522_a_dick_1952_8 ADVP n522_a_dick_1952_7->n522_a_dick_1952_8 n522_a_dick_1952_11 ADJ n522_a_dick_1952_7->n522_a_dick_1952_11 n522_a_dick_1952_13 CP-THT n522_a_dick_1952_7->n522_a_dick_1952_13 n522_a_dick_1952_9 ADV n522_a_dick_1952_8->n522_a_dick_1952_9 n522_a_dick_1952_9->n522_a_dick_1952_10 n522_a_dick_1952_11->n522_a_dick_1952_12 n522_a_dick_1952_14 IP-SUB n522_a_dick_1952_13->n522_a_dick_1952_14 n522_a_dick_1952_15 C n522_a_dick_1952_14->n522_a_dick_1952_15 n522_a_dick_1952_17 NP-SBJ n522_a_dick_1952_14->n522_a_dick_1952_17 n522_a_dick_1952_20 BED;_La_ n522_a_dick_1952_14->n522_a_dick_1952_20 n522_a_dick_1952_22 ADJP-PRD n522_a_dick_1952_14->n522_a_dick_1952_22 n522_a_dick_1952_15->n522_a_dick_1952_16 n522_a_dick_1952_18 Q;_nphd_ n522_a_dick_1952_17->n522_a_dick_1952_18 n522_a_dick_1952_18->n522_a_dick_1952_19 n522_a_dick_1952_20->n522_a_dick_1952_21 n522_a_dick_1952_23 ADJ n522_a_dick_1952_22->n522_a_dick_1952_23 n522_a_dick_1952_23->n522_a_dick_1952_24 n522_a_dick_1952_25->n522_a_dick_1952_26 n522_a_dick_1952_28 IP-PPL3 n522_a_dick_1952_27->n522_a_dick_1952_28 n522_a_dick_1952_29 NP-SBJ n522_a_dick_1952_28->n522_a_dick_1952_29 n522_a_dick_1952_34 PUNC n522_a_dick_1952_28->n522_a_dick_1952_34 n522_a_dick_1952_36 VAG;_I_ n522_a_dick_1952_28->n522_a_dick_1952_36 n522_a_dick_1952_38 PP-SCON n522_a_dick_1952_28->n522_a_dick_1952_38 n522_a_dick_1952_30 D n522_a_dick_1952_29->n522_a_dick_1952_30 n522_a_dick_1952_32 N n522_a_dick_1952_29->n522_a_dick_1952_32 n522_a_dick_1952_30->n522_a_dick_1952_31 n522_a_dick_1952_32->n522_a_dick_1952_33 n522_a_dick_1952_34->n522_a_dick_1952_35 n522_a_dick_1952_36->n522_a_dick_1952_37 n522_a_dick_1952_39 IP-INF n522_a_dick_1952_38->n522_a_dick_1952_39 n522_a_dick_1952_40 TO n522_a_dick_1952_39->n522_a_dick_1952_40 n522_a_dick_1952_42 VB;_phr_Vn<=>p_ n522_a_dick_1952_39->n522_a_dick_1952_42 n522_a_dick_1952_44 NP-OB1 n522_a_dick_1952_39->n522_a_dick_1952_44 n522_a_dick_1952_50 RP n522_a_dick_1952_39->n522_a_dick_1952_50 n522_a_dick_1952_52 PP-NIM n522_a_dick_1952_39->n522_a_dick_1952_52 n522_a_dick_1952_40->n522_a_dick_1952_41 n522_a_dick_1952_42->n522_a_dick_1952_43 n522_a_dick_1952_45 NP-GEN n522_a_dick_1952_44->n522_a_dick_1952_45 n522_a_dick_1952_48 NS n522_a_dick_1952_44->n522_a_dick_1952_48 n522_a_dick_1952_46 PRO;_genm_ n522_a_dick_1952_45->n522_a_dick_1952_46 n522_a_dick_1952_46->n522_a_dick_1952_47 n522_a_dick_1952_48->n522_a_dick_1952_49 n522_a_dick_1952_50->n522_a_dick_1952_51 n522_a_dick_1952_53 P-ROLE n522_a_dick_1952_52->n522_a_dick_1952_53 n522_a_dick_1952_55 NP n522_a_dick_1952_52->n522_a_dick_1952_55 n522_a_dick_1952_53->n522_a_dick_1952_54 n522_a_dick_1952_56 PRO n522_a_dick_1952_55->n522_a_dick_1952_56 n522_a_dick_1952_56->n522_a_dick_1952_57 n522_a_dick_1952_58->n522_a_dick_1952_59 
( (IP-MAT (NP-SBJ;{INHABITANTS} (PRO They;{they}))
          (BED;_La_ were;{be})
          (ADJP-PRD (ADVP (ADV so;{so}))
                    (ADJ certain;{certain})
                    (CP-THT (IP-SUB (C that;{that})
                                    (NP-SBJ (Q;_nphd_ everything;{everything}))
                                    (BED;_La_ was;{be})
                                    (ADJP-PRD (ADJ hostile;{hostile})))))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (NP-SBJ (D the;{the})
                                    (N enemy;{enemy}))
                            (PUNC ,)
                            (VAG;_I_ coming;{come})
                            (PP-SCON (IP-INF (TO to;{to})
                                             (VB;_phr_Vn<=>p_ take;{take[away]})
                                             (NP-OB1;{POSSESSIONS} (NP-GEN;{INHABITANTS} (PRO;_genm_ their;{their}))
                                                                   (NS possessions;{possession}))
                                             (RP away;{away})
                                             (PP-NIM (P-ROLE from;{from})
                                                     (NP;{INHABITANTS} (PRO them;{they})))))))
          (PUNC .))
  (ID 522_a_dick_1952))