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 z_000_111_a_dick_1952_1 z_000_111_a_dick_1952_2 z_000_111_a_dick_1952_1->z_000_111_a_dick_1952_2 [nim] r_0111_0003__could_r_0111_0004__use could use r_0111_0003__could_r_0111_0004__use->z_000_111_a_dick_1952_2 [arg1] r_0111_0002__we we r_0111_0003__could_r_0111_0004__use->r_0111_0002__we [arg0] r_0111_0001__Nothing_quant Nothing [quant] r_0111_0001__Nothing_quant->z_000_111_a_dick_1952_1 [scope] r_0111_0001__Nothing_quant->r_0111_0003__could_r_0111_0004__use [restriction] 
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__1_1_1_1 Nothing n111_a_dick_1952__1_1_2_1_1_1 we n111_a_dick_1952__1_1_2_2_1 could n111_a_dick_1952__1_1_2_3_1_1 *T* n111_a_dick_1952__1_1_2_3_2_1 use n111_a_dick_1952__1_2_1 . n111_a_dick_1952__1 FRAG n111_a_dick_1952__1_1 NP n111_a_dick_1952__1->n111_a_dick_1952__1_1 n111_a_dick_1952__1_2 PUNC n111_a_dick_1952__1->n111_a_dick_1952__1_2 n111_a_dick_1952__1_1_1 Q;_nphd_ n111_a_dick_1952__1_1->n111_a_dick_1952__1_1_1 n111_a_dick_1952__1_1_2 IP-REL n111_a_dick_1952__1_1->n111_a_dick_1952__1_1_2 n111_a_dick_1952__1_1_1->n111_a_dick_1952__1_1_1_1 n111_a_dick_1952__1_1_2_1 NP-SBJ n111_a_dick_1952__1_1_2->n111_a_dick_1952__1_1_2_1 n111_a_dick_1952__1_1_2_2 MD;_cat_Vi_ n111_a_dick_1952__1_1_2->n111_a_dick_1952__1_1_2_2 n111_a_dick_1952__1_1_2_3 IP-INF-CAT n111_a_dick_1952__1_1_2->n111_a_dick_1952__1_1_2_3 n111_a_dick_1952__1_1_2_1_1 PRO n111_a_dick_1952__1_1_2_1->n111_a_dick_1952__1_1_2_1_1 n111_a_dick_1952__1_1_2_1_1->n111_a_dick_1952__1_1_2_1_1_1 n111_a_dick_1952__1_1_2_2->n111_a_dick_1952__1_1_2_2_1 n111_a_dick_1952__1_1_2_3_1 NP-OB1 n111_a_dick_1952__1_1_2_3->n111_a_dick_1952__1_1_2_3_1 n111_a_dick_1952__1_1_2_3_2 VB;_Tn_ n111_a_dick_1952__1_1_2_3->n111_a_dick_1952__1_1_2_3_2 n111_a_dick_1952__1_1_2_3_1->n111_a_dick_1952__1_1_2_3_1_1 n111_a_dick_1952__1_1_2_3_2->n111_a_dick_1952__1_1_2_3_2_1 n111_a_dick_1952__1_2->n111_a_dick_1952__1_2_1 
( (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))