Context                Previous, Next                Top


486_a_dick_1952
What are in the boxes?”

n486_a_dick_1952 n486_a_dick_1952__1_1_1_1_1 What n486_a_dick_1952__1_1_2_1 are n486_a_dick_1952__1_1_3_1_1 in n486_a_dick_1952__1_1_3_2_1_1 the n486_a_dick_1952__1_1_3_2_2_1 boxes n486_a_dick_1952__1_2_1 ? n486_a_dick_1952__1_3_1 <rdquo> n486_a_dick_1952__1 CP-QUE-MAT n486_a_dick_1952__1_1 IP-SUB n486_a_dick_1952__1->n486_a_dick_1952__1_1 n486_a_dick_1952__1_2 PUNC n486_a_dick_1952__1->n486_a_dick_1952__1_2 n486_a_dick_1952__1_3 PURQ n486_a_dick_1952__1->n486_a_dick_1952__1_3 n486_a_dick_1952__1_1_1 NP-SBJ n486_a_dick_1952__1_1->n486_a_dick_1952__1_1_1 n486_a_dick_1952__1_1_2 BEP;_Ipr_ n486_a_dick_1952__1_1->n486_a_dick_1952__1_1_2 n486_a_dick_1952__1_1_3 PP-CLR n486_a_dick_1952__1_1->n486_a_dick_1952__1_1_3 n486_a_dick_1952__1_1_1_1 WPRO n486_a_dick_1952__1_1_1->n486_a_dick_1952__1_1_1_1 n486_a_dick_1952__1_1_1_1->n486_a_dick_1952__1_1_1_1_1 n486_a_dick_1952__1_1_2->n486_a_dick_1952__1_1_2_1 n486_a_dick_1952__1_1_3_1 P-ROLE n486_a_dick_1952__1_1_3->n486_a_dick_1952__1_1_3_1 n486_a_dick_1952__1_1_3_2 NP n486_a_dick_1952__1_1_3->n486_a_dick_1952__1_1_3_2 n486_a_dick_1952__1_1_3_1->n486_a_dick_1952__1_1_3_1_1 n486_a_dick_1952__1_1_3_2_1 D n486_a_dick_1952__1_1_3_2->n486_a_dick_1952__1_1_3_2_1 n486_a_dick_1952__1_1_3_2_2 NS n486_a_dick_1952__1_1_3_2->n486_a_dick_1952__1_1_3_2_2 n486_a_dick_1952__1_1_3_2_1->n486_a_dick_1952__1_1_3_2_1_1 n486_a_dick_1952__1_1_3_2_2->n486_a_dick_1952__1_1_3_2_2_1 n486_a_dick_1952__1_2->n486_a_dick_1952__1_2_1 n486_a_dick_1952__1_3->n486_a_dick_1952__1_3_1 
( (CP-QUE-MAT (IP-SUB (NP-SBJ (WPRO What;{what}))
                      (BEP;_Ipr_ are;{be[in]})
                      (PP-CLR (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (NS boxes;{box}))))
              (PUNC ?)
              (PURQ <rdquo>))
  (ID 486_a_dick_1952))


%3 r_0486_0002__are_r_0486_0003__in are in r_0486_0004__the_r_0486_0005__boxes the boxes r_0486_0002__are_r_0486_0003__in->r_0486_0004__the_r_0486_0005__boxes [arg1] r_0486_0001__What What r_0486_0002__are_r_0486_0003__in->r_0486_0001__What [arg0] 
arc(r_0486_0002__are_r_0486_0003__in,r_0486_0001__What,arg0).
arc(r_0486_0002__are_r_0486_0003__in,r_0486_0004__the_r_0486_0005__boxes,arg1).


%3 r_0486_0002__are_r_0486_0003__in are in r_0486_0001__What What r_0486_0002__are_r_0486_0003__in->r_0486_0001__What [arg0] r_0486_0004__the_r_0486_0005__boxes the boxes r_0486_0002__are_r_0486_0003__in->r_0486_0004__the_r_0486_0005__boxes [arg1] 
fof(formula,axiom,
    ? [R_0486_0001__WHAT,R_0486_0004__THE_R_0486_0005__BOXES,R_0486_0002__ARE_R_0486_0003__IN] :
      ( r_0486_0001__What(R_0486_0001__WHAT)
      & r_0486_0004__the_r_0486_0005__boxes(R_0486_0004__THE_R_0486_0005__BOXES)
      & r_0486_0002__are_r_0486_0003__in(R_0486_0002__ARE_R_0486_0003__IN)
      & has_arg1(R_0486_0002__ARE_R_0486_0003__IN,R_0486_0004__THE_R_0486_0005__BOXES)
      & has_arg0(R_0486_0002__ARE_R_0486_0003__IN,R_0486_0001__WHAT) ) ).