Context                Previous, Next                Top


346_a_dick_1952
It knows all about the ship.

%3 r_0346_0002__knows knows r_0346_0001__It It r_0346_0002__knows->r_0346_0001__It [arg0] z_000_346_a_dick_1952_7 r_0346_0002__knows->z_000_346_a_dick_1952_7 [arg1] r_0346_0005__the_r_0346_0006__ship the ship z_000_346_a_dick_1952_7->r_0346_0005__the_r_0346_0006__ship about r_0346_0003__all_quant all [quant] r_0346_0003__all_quant->r_0346_0002__knows [scope] r_0346_0003__all_quant->z_000_346_a_dick_1952_7 [restriction] 
arc(r_0346_0002__knows, r_0346_0001__It, arg0).
arc(r_0346_0002__knows, z_000_346_a_dick_1952_7, arg1).
arc(r_0346_0003__all_quant, r_0346_0002__knows, scope).
arc(r_0346_0003__all_quant, z_000_346_a_dick_1952_7, restriction).
arc(z_000_346_a_dick_1952_7, r_0346_0005__the_r_0346_0006__ship, r_0346_0004__about).


%3 z_000_346_a_dick_1952_7 r_0346_0005__the_r_0346_0006__ship the ship z_000_346_a_dick_1952_7->r_0346_0005__the_r_0346_0006__ship about r_0346_0003__all_quant all [quant] r_0346_0003__all_quant->z_000_346_a_dick_1952_7 [restriction] r_0346_0002__knows knows r_0346_0003__all_quant->r_0346_0002__knows [scope] r_0346_0002__knows->z_000_346_a_dick_1952_7 [arg1] r_0346_0001__It It r_0346_0002__knows->r_0346_0001__It [arg0] 
fof(formula,axiom,
    ! [Z_000_346_A_DICK_1952_7,R_0346_0005__THE_R_0346_0006__SHIP] :
      ( ( r_0346_0005__the_r_0346_0006__ship(R_0346_0005__THE_R_0346_0006__SHIP)
        & z_000_346_a_dick_1952_7(Z_000_346_A_DICK_1952_7)
        & has_r_0346_0004__about(Z_000_346_A_DICK_1952_7,R_0346_0005__THE_R_0346_0006__SHIP) )
     => ? [R_0346_0001__IT,R_0346_0002__KNOWS] :
          ( r_0346_0001__It(R_0346_0001__IT)
          & r_0346_0002__knows(R_0346_0002__KNOWS)
          & has_arg1(R_0346_0002__KNOWS,Z_000_346_A_DICK_1952_7)
          & has_arg0(R_0346_0002__KNOWS,R_0346_0001__IT) ) ) ).


n346_a_dick_1952 n346_a_dick_1952__1_1_1_1 It n346_a_dick_1952__1_2_1 knows n346_a_dick_1952__1_3_1_1 all n346_a_dick_1952__1_3_2_1_1 about n346_a_dick_1952__1_3_2_2_1_1 the n346_a_dick_1952__1_3_2_2_2_1 ship n346_a_dick_1952__1_4_1 . n346_a_dick_1952__1 IP-MAT n346_a_dick_1952__1_1 NP-SBJ n346_a_dick_1952__1->n346_a_dick_1952__1_1 n346_a_dick_1952__1_2 VBP;_Tn_ n346_a_dick_1952__1->n346_a_dick_1952__1_2 n346_a_dick_1952__1_3 NP-OB1 n346_a_dick_1952__1->n346_a_dick_1952__1_3 n346_a_dick_1952__1_4 PUNC n346_a_dick_1952__1->n346_a_dick_1952__1_4 n346_a_dick_1952__1_1_1 PRO n346_a_dick_1952__1_1->n346_a_dick_1952__1_1_1 n346_a_dick_1952__1_1_1->n346_a_dick_1952__1_1_1_1 n346_a_dick_1952__1_2->n346_a_dick_1952__1_2_1 n346_a_dick_1952__1_3_1 Q;_nphd_ n346_a_dick_1952__1_3->n346_a_dick_1952__1_3_1 n346_a_dick_1952__1_3_2 PP n346_a_dick_1952__1_3->n346_a_dick_1952__1_3_2 n346_a_dick_1952__1_3_1->n346_a_dick_1952__1_3_1_1 n346_a_dick_1952__1_3_2_1 P-ROLE n346_a_dick_1952__1_3_2->n346_a_dick_1952__1_3_2_1 n346_a_dick_1952__1_3_2_2 NP n346_a_dick_1952__1_3_2->n346_a_dick_1952__1_3_2_2 n346_a_dick_1952__1_3_2_1->n346_a_dick_1952__1_3_2_1_1 n346_a_dick_1952__1_3_2_2_1 D n346_a_dick_1952__1_3_2_2->n346_a_dick_1952__1_3_2_2_1 n346_a_dick_1952__1_3_2_2_2 N n346_a_dick_1952__1_3_2_2->n346_a_dick_1952__1_3_2_2_2 n346_a_dick_1952__1_3_2_2_1->n346_a_dick_1952__1_3_2_2_1_1 n346_a_dick_1952__1_3_2_2_2->n346_a_dick_1952__1_3_2_2_2_1 n346_a_dick_1952__1_4->n346_a_dick_1952__1_4_1 
( (IP-MAT (NP-SBJ;{GUN} (PRO It;{it}))
          (VBP;_Tn_ knows;{know})
          (NP-OB1 (Q;_nphd_ all;{all})
                  (PP (P-ROLE about;{about})
                      (NP;{SHIP} (D the;{the})
                                 (N ship;{ship}))))
          (PUNC .))
  (ID 346_a_dick_1952))