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 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] 
fof(formula,axiom,
    ! [Z_346_A_DICK_1952_7,R_346_5_THE_SHIP] :
      ( ( the_ship(R_346_5_THE_SHIP)
        & z_346_a_dick_1952_7(Z_346_A_DICK_1952_7)
        & about(Z_346_A_DICK_1952_7,R_346_5_THE_SHIP) )
     => ? [R_346_2_KNOWS,R_346_1_IT] :
          ( it(R_346_1_IT)
          & knows(R_346_2_KNOWS,R_346_1_IT,Z_346_A_DICK_1952_7) ) ) ).


n346_a_dick_1952 n346_a_dick_1952_4 It n346_a_dick_1952_6 knows n346_a_dick_1952_9 all n346_a_dick_1952_12 about n346_a_dick_1952_15 the n346_a_dick_1952_17 ship n346_a_dick_1952_19 . n346_a_dick_1952_1 IP-MAT n346_a_dick_1952_2 NP-SBJ n346_a_dick_1952_1->n346_a_dick_1952_2 n346_a_dick_1952_5 VBP;_Tn_ n346_a_dick_1952_1->n346_a_dick_1952_5 n346_a_dick_1952_7 NP-OB1 n346_a_dick_1952_1->n346_a_dick_1952_7 n346_a_dick_1952_18 PUNC n346_a_dick_1952_1->n346_a_dick_1952_18 n346_a_dick_1952_3 PRO n346_a_dick_1952_2->n346_a_dick_1952_3 n346_a_dick_1952_3->n346_a_dick_1952_4 n346_a_dick_1952_5->n346_a_dick_1952_6 n346_a_dick_1952_8 Q;_nphd_ n346_a_dick_1952_7->n346_a_dick_1952_8 n346_a_dick_1952_10 PP n346_a_dick_1952_7->n346_a_dick_1952_10 n346_a_dick_1952_8->n346_a_dick_1952_9 n346_a_dick_1952_11 P-ROLE n346_a_dick_1952_10->n346_a_dick_1952_11 n346_a_dick_1952_13 NP n346_a_dick_1952_10->n346_a_dick_1952_13 n346_a_dick_1952_11->n346_a_dick_1952_12 n346_a_dick_1952_14 D n346_a_dick_1952_13->n346_a_dick_1952_14 n346_a_dick_1952_16 N n346_a_dick_1952_13->n346_a_dick_1952_16 n346_a_dick_1952_14->n346_a_dick_1952_15 n346_a_dick_1952_16->n346_a_dick_1952_17 n346_a_dick_1952_18->n346_a_dick_1952_19 
( (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))