Context                Previous, Next                Top


547_a_dick_1952
Against something on the ground it has no defenses.

%3 r_0547_0002__something something r_0547_0004__the_r_0547_0005__ground the ground r_0547_0002__something->r_0547_0004__the_r_0547_0005__ground on r_0547_0007__has has r_0547_0007__has->r_0547_0002__something Against [nim] r_0547_0006__it it r_0547_0007__has->r_0547_0006__it [arg0] r_0547_0009__defenses defenses r_0547_0007__has->r_0547_0009__defenses [arg1] r_0547_0008__no_quant no [quant] r_0547_0008__no_quant->r_0547_0007__has [scope] r_0547_0008__no_quant->r_0547_0009__defenses [restriction] 
arc(r_0547_0002__something, r_0547_0004__the_r_0547_0005__ground, r_0547_0003__on).
arc(r_0547_0007__has, r_0547_0002__something, r_0547_0001__Against_nim5).
arc(r_0547_0007__has, r_0547_0006__it, arg0).
arc(r_0547_0007__has, r_0547_0009__defenses, arg1).
arc(r_0547_0008__no_quant, r_0547_0007__has, scope).
arc(r_0547_0008__no_quant, r_0547_0009__defenses, restriction).


%3 r_0547_0002__something something r_0547_0004__the_r_0547_0005__ground the ground r_0547_0002__something->r_0547_0004__the_r_0547_0005__ground on r_0547_0007__has has r_0547_0007__has->r_0547_0002__something Against [nim] r_0547_0006__it it r_0547_0007__has->r_0547_0006__it [arg0] r_0547_0009__defenses defenses r_0547_0007__has->r_0547_0009__defenses [arg1] r_0547_0008__no_quant no [quant] r_0547_0008__no_quant->r_0547_0007__has [scope] r_0547_0008__no_quant->r_0547_0009__defenses [restriction] 
fof(formula,axiom,
    ! [R_547_9_DEFENSES] :
      ( defenses(R_547_9_DEFENSES)
     => ? [R_547_7_HAS,R_547_6_IT,R_547_2_SOMETHING,R_547_4_THE_GROUND] :
          ( it(R_547_6_IT)
          & the_ground(R_547_4_THE_GROUND)
          & has(R_547_7_HAS,R_547_6_IT,R_547_9_DEFENSES)
          & against_nim5(R_547_7_HAS,R_547_2_SOMETHING)
          & something(R_547_2_SOMETHING)
          & on(R_547_2_SOMETHING,R_547_4_THE_GROUND) ) ) ).


n547_a_dick_1952 n547_a_dick_1952_4 Against n547_a_dick_1952_7 something n547_a_dick_1952_10 on n547_a_dick_1952_13 the n547_a_dick_1952_15 ground n547_a_dick_1952_18 it n547_a_dick_1952_20 has n547_a_dick_1952_23 no n547_a_dick_1952_25 defenses n547_a_dick_1952_27 . n547_a_dick_1952_1 IP-MAT n547_a_dick_1952_2 PP-NIM n547_a_dick_1952_1->n547_a_dick_1952_2 n547_a_dick_1952_16 NP-SBJ n547_a_dick_1952_1->n547_a_dick_1952_16 n547_a_dick_1952_19 HVP;_Tn_ n547_a_dick_1952_1->n547_a_dick_1952_19 n547_a_dick_1952_21 NP-OB1 n547_a_dick_1952_1->n547_a_dick_1952_21 n547_a_dick_1952_26 PUNC n547_a_dick_1952_1->n547_a_dick_1952_26 n547_a_dick_1952_3 P-ROLE n547_a_dick_1952_2->n547_a_dick_1952_3 n547_a_dick_1952_5 NP n547_a_dick_1952_2->n547_a_dick_1952_5 n547_a_dick_1952_3->n547_a_dick_1952_4 n547_a_dick_1952_6 D;_nphd_ n547_a_dick_1952_5->n547_a_dick_1952_6 n547_a_dick_1952_8 PP n547_a_dick_1952_5->n547_a_dick_1952_8 n547_a_dick_1952_6->n547_a_dick_1952_7 n547_a_dick_1952_9 P-ROLE n547_a_dick_1952_8->n547_a_dick_1952_9 n547_a_dick_1952_11 NP n547_a_dick_1952_8->n547_a_dick_1952_11 n547_a_dick_1952_9->n547_a_dick_1952_10 n547_a_dick_1952_12 D n547_a_dick_1952_11->n547_a_dick_1952_12 n547_a_dick_1952_14 N n547_a_dick_1952_11->n547_a_dick_1952_14 n547_a_dick_1952_12->n547_a_dick_1952_13 n547_a_dick_1952_14->n547_a_dick_1952_15 n547_a_dick_1952_17 PRO n547_a_dick_1952_16->n547_a_dick_1952_17 n547_a_dick_1952_17->n547_a_dick_1952_18 n547_a_dick_1952_19->n547_a_dick_1952_20 n547_a_dick_1952_22 Q n547_a_dick_1952_21->n547_a_dick_1952_22 n547_a_dick_1952_24 NS n547_a_dick_1952_21->n547_a_dick_1952_24 n547_a_dick_1952_22->n547_a_dick_1952_23 n547_a_dick_1952_24->n547_a_dick_1952_25 n547_a_dick_1952_26->n547_a_dick_1952_27 
( (IP-MAT (PP-NIM (P-ROLE Against;{against})
                  (NP (D;_nphd_ something;{something})
                      (PP (P-ROLE on;{on})
                          (NP (D the;{the})
                              (N ground;{ground})))))
          (NP-SBJ;{GUN} (PRO it;{it}))
          (HVP;_Tn_ has;{have})
          (NP-OB1 (Q no;{no})
                  (NS defenses;{defense}))
          (PUNC .))
  (ID 547_a_dick_1952))