Context                Previous, Next                Top


111_a_dick_1952
Nothing we could use.

%3 r_0111_0001__Nothing_quant Nothing [quant] z_000_111_a_dick_1952_1 r_0111_0001__Nothing_quant->z_000_111_a_dick_1952_1 [scope] z_000_111_a_dick_1952_2 r_0111_0001__Nothing_quant->z_000_111_a_dick_1952_2 [restriction] z_000_111_a_dick_1952_1->z_000_111_a_dick_1952_2 [nim] r_0111_0003__could could r_0111_0004__use use r_0111_0003__could->r_0111_0004__use [scope] r_0111_0004__use->z_000_111_a_dick_1952_2 [arg1] r_0111_0002__we we r_0111_0004__use->r_0111_0002__we [arg0] 
arc(r_0111_0001__Nothing_quant, z_000_111_a_dick_1952_1, scope).
arc(r_0111_0001__Nothing_quant, z_000_111_a_dick_1952_2, restriction).
arc(r_0111_0003__could, r_0111_0004__use, scope).
arc(r_0111_0004__use, r_0111_0002__we, arg0).
arc(r_0111_0004__use, z_000_111_a_dick_1952_2, arg1).
arc(z_000_111_a_dick_1952_1, z_000_111_a_dick_1952_2, nim2).


%3 r_0111_0001__Nothing_quant Nothing [quant] r_0111_0003__could_r_0111_0004__use could use r_0111_0001__Nothing_quant->r_0111_0003__could_r_0111_0004__use [restriction] z_000_111_a_dick_1952_1 r_0111_0001__Nothing_quant->z_000_111_a_dick_1952_1 [scope] r_0111_0002__we we r_0111_0003__could_r_0111_0004__use->r_0111_0002__we [arg0] z_000_111_a_dick_1952_2 r_0111_0003__could_r_0111_0004__use->z_000_111_a_dick_1952_2 [arg1] z_000_111_a_dick_1952_1->z_000_111_a_dick_1952_2 [nim] 
fof(formula,axiom,
    ! [R_111_3_COULD_USE,R_111_2_WE,Z_111_A_DICK_1952_2] :
      ( ( we(R_111_2_WE)
        & could_use(R_111_3_COULD_USE,R_111_2_WE,Z_111_A_DICK_1952_2) )
     => ? [Z_111_A_DICK_1952_1] :
          ( z_111_a_dick_1952_1(Z_111_A_DICK_1952_1)
          & nim2(Z_111_A_DICK_1952_1,Z_111_A_DICK_1952_2) ) ) ).


n111_a_dick_1952 n111_a_dick_1952_4 Nothing n111_a_dick_1952_8 we n111_a_dick_1952_10 could n111_a_dick_1952_13 *T* n111_a_dick_1952_15 use n111_a_dick_1952_17 . n111_a_dick_1952_1 FRAG n111_a_dick_1952_2 NP n111_a_dick_1952_1->n111_a_dick_1952_2 n111_a_dick_1952_16 PUNC n111_a_dick_1952_1->n111_a_dick_1952_16 n111_a_dick_1952_3 Q;_nphd_ n111_a_dick_1952_2->n111_a_dick_1952_3 n111_a_dick_1952_5 IP-REL n111_a_dick_1952_2->n111_a_dick_1952_5 n111_a_dick_1952_3->n111_a_dick_1952_4 n111_a_dick_1952_6 NP-SBJ n111_a_dick_1952_5->n111_a_dick_1952_6 n111_a_dick_1952_9 MD;_cat_Vi_ n111_a_dick_1952_5->n111_a_dick_1952_9 n111_a_dick_1952_11 IP-INF-CAT n111_a_dick_1952_5->n111_a_dick_1952_11 n111_a_dick_1952_7 PRO n111_a_dick_1952_6->n111_a_dick_1952_7 n111_a_dick_1952_7->n111_a_dick_1952_8 n111_a_dick_1952_9->n111_a_dick_1952_10 n111_a_dick_1952_12 NP-OB1 n111_a_dick_1952_11->n111_a_dick_1952_12 n111_a_dick_1952_14 VB;_Tn_ n111_a_dick_1952_11->n111_a_dick_1952_14 n111_a_dick_1952_12->n111_a_dick_1952_13 n111_a_dick_1952_14->n111_a_dick_1952_15 n111_a_dick_1952_16->n111_a_dick_1952_17 
( (FRAG (NP (Q;_nphd_ Nothing;{nothing})
            (IP-REL (NP-SBJ;{TRESPASSERS} (PRO we;{we}))
                    (MD;_cat_Vi_ could;{can})
                    (IP-INF-CAT (NP-OB1 *T*)
                                (VB;_Tn_ use;{use}))))
        (PUNC .))
  (ID 111_a_dick_1952))