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 z_000_522_a_dick_1952_38 r_0522_0014__to_r_0522_0015__take_r_0522_0018__away to take away z_000_522_a_dick_1952_38->r_0522_0014__to_r_0522_0015__take_r_0522_0018__away [conj1] r_0522_0013__coming coming z_000_522_a_dick_1952_38->r_0522_0013__coming [conj2] r_0522_0017__possessions possessions r_0522_0014__to_r_0522_0015__take_r_0522_0018__away->r_0522_0017__possessions [arg1] r_0522_0001__They They r_0522_0014__to_r_0522_0015__take_r_0522_0018__away->r_0522_0001__They from [nim] r_0522_0010__the_r_0522_0011__enemy the enemy r_0522_0014__to_r_0522_0015__take_r_0522_0018__away->r_0522_0010__the_r_0522_0011__enemy [arg0] r_0522_0013__coming->r_0522_0010__the_r_0522_0011__enemy [arg0] z_000_522_a_dick_1952_27 z_000_522_a_dick_1952_27->z_000_522_a_dick_1952_38 [conj1] r_0522_0002__were were z_000_522_a_dick_1952_27->r_0522_0002__were [conj2] 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_0017__possessions->r_0522_0001__They [gen] r_0522_0006__everything_quant everything [quant] z_000_522_a_dick_1952_17 r_0522_0006__everything_quant->z_000_522_a_dick_1952_17 [restriction] r_0522_0005__that_r_0522_0007__was that was r_0522_0006__everything_quant->r_0522_0005__that_r_0522_0007__was [scope] r_0522_0005__that_r_0522_0007__was->z_000_522_a_dick_1952_17 [arg0] r_0522_0008__hostile hostile r_0522_0005__that_r_0522_0007__was->r_0522_0008__hostile [prd] r_0522_0004__certain->r_0522_0006__everything_quant [emb] r_0522_0003__so so r_0522_0004__certain->r_0522_0003__so [qual] 
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__1_1_1_1 They n522_a_dick_1952__1_2_1 were n522_a_dick_1952__1_3_1_1_1 so n522_a_dick_1952__1_3_2_1 certain n522_a_dick_1952__1_3_3_1_1_1 that n522_a_dick_1952__1_3_3_1_2_1_1 everything n522_a_dick_1952__1_3_3_1_3_1 was n522_a_dick_1952__1_3_3_1_4_1_1 hostile n522_a_dick_1952__1_4_1 , n522_a_dick_1952__1_5_1_1_1_1 the n522_a_dick_1952__1_5_1_1_2_1 enemy n522_a_dick_1952__1_5_1_2_1 , n522_a_dick_1952__1_5_1_3_1 coming n522_a_dick_1952__1_5_1_4_1_1_1 to n522_a_dick_1952__1_5_1_4_1_2_1 take n522_a_dick_1952__1_5_1_4_1_3_1_1_1 their n522_a_dick_1952__1_5_1_4_1_3_2_1 possessions n522_a_dick_1952__1_5_1_4_1_4_1 away n522_a_dick_1952__1_5_1_4_1_5_1_1 from n522_a_dick_1952__1_5_1_4_1_5_2_1_1 them n522_a_dick_1952__1_6_1 . n522_a_dick_1952__1 IP-MAT n522_a_dick_1952__1_1 NP-SBJ n522_a_dick_1952__1->n522_a_dick_1952__1_1 n522_a_dick_1952__1_2 BED;_La_ n522_a_dick_1952__1->n522_a_dick_1952__1_2 n522_a_dick_1952__1_3 ADJP-PRD n522_a_dick_1952__1->n522_a_dick_1952__1_3 n522_a_dick_1952__1_4 PUNC n522_a_dick_1952__1->n522_a_dick_1952__1_4 n522_a_dick_1952__1_5 PP-SCON n522_a_dick_1952__1->n522_a_dick_1952__1_5 n522_a_dick_1952__1_6 PUNC n522_a_dick_1952__1->n522_a_dick_1952__1_6 n522_a_dick_1952__1_1_1 PRO n522_a_dick_1952__1_1->n522_a_dick_1952__1_1_1 n522_a_dick_1952__1_1_1->n522_a_dick_1952__1_1_1_1 n522_a_dick_1952__1_2->n522_a_dick_1952__1_2_1 n522_a_dick_1952__1_3_1 ADVP n522_a_dick_1952__1_3->n522_a_dick_1952__1_3_1 n522_a_dick_1952__1_3_2 ADJ n522_a_dick_1952__1_3->n522_a_dick_1952__1_3_2 n522_a_dick_1952__1_3_3 CP-THT n522_a_dick_1952__1_3->n522_a_dick_1952__1_3_3 n522_a_dick_1952__1_3_1_1 ADV n522_a_dick_1952__1_3_1->n522_a_dick_1952__1_3_1_1 n522_a_dick_1952__1_3_1_1->n522_a_dick_1952__1_3_1_1_1 n522_a_dick_1952__1_3_2->n522_a_dick_1952__1_3_2_1 n522_a_dick_1952__1_3_3_1 IP-SUB n522_a_dick_1952__1_3_3->n522_a_dick_1952__1_3_3_1 n522_a_dick_1952__1_3_3_1_1 C n522_a_dick_1952__1_3_3_1->n522_a_dick_1952__1_3_3_1_1 n522_a_dick_1952__1_3_3_1_2 NP-SBJ n522_a_dick_1952__1_3_3_1->n522_a_dick_1952__1_3_3_1_2 n522_a_dick_1952__1_3_3_1_3 BED;_La_ n522_a_dick_1952__1_3_3_1->n522_a_dick_1952__1_3_3_1_3 n522_a_dick_1952__1_3_3_1_4 ADJP-PRD n522_a_dick_1952__1_3_3_1->n522_a_dick_1952__1_3_3_1_4 n522_a_dick_1952__1_3_3_1_1->n522_a_dick_1952__1_3_3_1_1_1 n522_a_dick_1952__1_3_3_1_2_1 Q;_nphd_ n522_a_dick_1952__1_3_3_1_2->n522_a_dick_1952__1_3_3_1_2_1 n522_a_dick_1952__1_3_3_1_2_1->n522_a_dick_1952__1_3_3_1_2_1_1 n522_a_dick_1952__1_3_3_1_3->n522_a_dick_1952__1_3_3_1_3_1 n522_a_dick_1952__1_3_3_1_4_1 ADJ n522_a_dick_1952__1_3_3_1_4->n522_a_dick_1952__1_3_3_1_4_1 n522_a_dick_1952__1_3_3_1_4_1->n522_a_dick_1952__1_3_3_1_4_1_1 n522_a_dick_1952__1_4->n522_a_dick_1952__1_4_1 n522_a_dick_1952__1_5_1 IP-PPL3 n522_a_dick_1952__1_5->n522_a_dick_1952__1_5_1 n522_a_dick_1952__1_5_1_1 NP-SBJ n522_a_dick_1952__1_5_1->n522_a_dick_1952__1_5_1_1 n522_a_dick_1952__1_5_1_2 PUNC n522_a_dick_1952__1_5_1->n522_a_dick_1952__1_5_1_2 n522_a_dick_1952__1_5_1_3 VAG;_I_ n522_a_dick_1952__1_5_1->n522_a_dick_1952__1_5_1_3 n522_a_dick_1952__1_5_1_4 PP-SCON n522_a_dick_1952__1_5_1->n522_a_dick_1952__1_5_1_4 n522_a_dick_1952__1_5_1_1_1 D n522_a_dick_1952__1_5_1_1->n522_a_dick_1952__1_5_1_1_1 n522_a_dick_1952__1_5_1_1_2 N n522_a_dick_1952__1_5_1_1->n522_a_dick_1952__1_5_1_1_2 n522_a_dick_1952__1_5_1_1_1->n522_a_dick_1952__1_5_1_1_1_1 n522_a_dick_1952__1_5_1_1_2->n522_a_dick_1952__1_5_1_1_2_1 n522_a_dick_1952__1_5_1_2->n522_a_dick_1952__1_5_1_2_1 n522_a_dick_1952__1_5_1_3->n522_a_dick_1952__1_5_1_3_1 n522_a_dick_1952__1_5_1_4_1 IP-INF n522_a_dick_1952__1_5_1_4->n522_a_dick_1952__1_5_1_4_1 n522_a_dick_1952__1_5_1_4_1_1 TO n522_a_dick_1952__1_5_1_4_1->n522_a_dick_1952__1_5_1_4_1_1 n522_a_dick_1952__1_5_1_4_1_2 VB;_phr_Vn<=>p_ n522_a_dick_1952__1_5_1_4_1->n522_a_dick_1952__1_5_1_4_1_2 n522_a_dick_1952__1_5_1_4_1_3 NP-OB1 n522_a_dick_1952__1_5_1_4_1->n522_a_dick_1952__1_5_1_4_1_3 n522_a_dick_1952__1_5_1_4_1_4 RP n522_a_dick_1952__1_5_1_4_1->n522_a_dick_1952__1_5_1_4_1_4 n522_a_dick_1952__1_5_1_4_1_5 PP-NIM n522_a_dick_1952__1_5_1_4_1->n522_a_dick_1952__1_5_1_4_1_5 n522_a_dick_1952__1_5_1_4_1_1->n522_a_dick_1952__1_5_1_4_1_1_1 n522_a_dick_1952__1_5_1_4_1_2->n522_a_dick_1952__1_5_1_4_1_2_1 n522_a_dick_1952__1_5_1_4_1_3_1 NP-GEN n522_a_dick_1952__1_5_1_4_1_3->n522_a_dick_1952__1_5_1_4_1_3_1 n522_a_dick_1952__1_5_1_4_1_3_2 NS n522_a_dick_1952__1_5_1_4_1_3->n522_a_dick_1952__1_5_1_4_1_3_2 n522_a_dick_1952__1_5_1_4_1_3_1_1 PRO;_genm_ n522_a_dick_1952__1_5_1_4_1_3_1->n522_a_dick_1952__1_5_1_4_1_3_1_1 n522_a_dick_1952__1_5_1_4_1_3_1_1->n522_a_dick_1952__1_5_1_4_1_3_1_1_1 n522_a_dick_1952__1_5_1_4_1_3_2->n522_a_dick_1952__1_5_1_4_1_3_2_1 n522_a_dick_1952__1_5_1_4_1_4->n522_a_dick_1952__1_5_1_4_1_4_1 n522_a_dick_1952__1_5_1_4_1_5_1 P-ROLE n522_a_dick_1952__1_5_1_4_1_5->n522_a_dick_1952__1_5_1_4_1_5_1 n522_a_dick_1952__1_5_1_4_1_5_2 NP n522_a_dick_1952__1_5_1_4_1_5->n522_a_dick_1952__1_5_1_4_1_5_2 n522_a_dick_1952__1_5_1_4_1_5_1->n522_a_dick_1952__1_5_1_4_1_5_1_1 n522_a_dick_1952__1_5_1_4_1_5_2_1 PRO n522_a_dick_1952__1_5_1_4_1_5_2->n522_a_dick_1952__1_5_1_4_1_5_2_1 n522_a_dick_1952__1_5_1_4_1_5_2_1->n522_a_dick_1952__1_5_1_4_1_5_2_1_1 n522_a_dick_1952__1_6->n522_a_dick_1952__1_6_1 
( (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))