Context                Previous, Next                Top


12_a_lob_n02
They're both here.’

%3 r_0012_0002___apos_re 're r_0012_0003__both both r_0012_0002___apos_re->r_0012_0003__both [nim] r_0012_0004__here here r_0012_0002___apos_re->r_0012_0004__here [clr] z_000_12_a_lob_n02_3 r_0012_0002___apos_re->z_000_12_a_lob_n02_3 [arg0] r_0012_1001____star__ * z_000_12_a_lob_n02_3->r_0012_1001____star__ [conj1] r_0012_1002____star__ * z_000_12_a_lob_n02_3->r_0012_1002____star__ [conj2] 
arc(r_0012_0002___apos_re, r_0012_0003__both, nim16).
arc(r_0012_0002___apos_re, r_0012_0004__here, clr19).
arc(r_0012_0002___apos_re, z_000_12_a_lob_n02_3, arg0).
arc(z_000_12_a_lob_n02_3, r_0012_1001____star__, conj1).
arc(z_000_12_a_lob_n02_3, r_0012_1002____star__, conj2).


%3 r_0012_0002___apos_re 're r_0012_0003__both both r_0012_0002___apos_re->r_0012_0003__both [nim] r_0012_0004__here here r_0012_0002___apos_re->r_0012_0004__here [clr] z_000_12_a_lob_n02_3 r_0012_0002___apos_re->z_000_12_a_lob_n02_3 [arg0] r_0012_1001____star__ * z_000_12_a_lob_n02_3->r_0012_1001____star__ [conj1] r_0012_1002____star__ * z_000_12_a_lob_n02_3->r_0012_1002____star__ [conj2] 
fof(formula,axiom,
    ? [R_12_2__APOS_RE,Z_12_A_LOB_N02_3,R_12_1001__STAR_,R_12_1002__STAR_,R_12_4_HERE,R_12_3_BOTH] :
      ( _star_(R_12_1001__STAR_)
      & _star_(R_12_1002__STAR_)
      & here(R_12_4_HERE)
      & both(R_12_3_BOTH)
      & _apos_re(R_12_2__APOS_RE,Z_12_A_LOB_N02_3)
      & z_12_a_lob_n02_3(Z_12_A_LOB_N02_3)
      & conj1(Z_12_A_LOB_N02_3,R_12_1001__STAR_)
      & conj2(Z_12_A_LOB_N02_3,R_12_1002__STAR_)
      & clr19(R_12_2__APOS_RE,R_12_4_HERE)
      & nim16(R_12_2__APOS_RE,R_12_3_BOTH) ) ).


n12_a_lob_n02 n12_a_lob_n02_6 _*_ n12_a_lob_n02_10 _*_ n12_a_lob_n02_13 They n12_a_lob_n02_15 're n12_a_lob_n02_18 both n12_a_lob_n02_21 here n12_a_lob_n02_23 . n12_a_lob_n02_25 <rquo> n12_a_lob_n02_1 IP-MAT n12_a_lob_n02_2 NP-DSC n12_a_lob_n02_1->n12_a_lob_n02_2 n12_a_lob_n02_11 NP-SBJ n12_a_lob_n02_1->n12_a_lob_n02_11 n12_a_lob_n02_14 BEP;_Ip_ n12_a_lob_n02_1->n12_a_lob_n02_14 n12_a_lob_n02_16 ADVP-NIM n12_a_lob_n02_1->n12_a_lob_n02_16 n12_a_lob_n02_19 ADVP-CLR n12_a_lob_n02_1->n12_a_lob_n02_19 n12_a_lob_n02_22 PUNC n12_a_lob_n02_1->n12_a_lob_n02_22 n12_a_lob_n02_24 PURQ n12_a_lob_n02_1->n12_a_lob_n02_24 n12_a_lob_n02_3 NLYR n12_a_lob_n02_2->n12_a_lob_n02_3 n12_a_lob_n02_4 NLYR n12_a_lob_n02_3->n12_a_lob_n02_4 n12_a_lob_n02_7 CONJP n12_a_lob_n02_3->n12_a_lob_n02_7 n12_a_lob_n02_5 PRO n12_a_lob_n02_4->n12_a_lob_n02_5 n12_a_lob_n02_5->n12_a_lob_n02_6 n12_a_lob_n02_8 NLYR n12_a_lob_n02_7->n12_a_lob_n02_8 n12_a_lob_n02_9 PRO n12_a_lob_n02_8->n12_a_lob_n02_9 n12_a_lob_n02_9->n12_a_lob_n02_10 n12_a_lob_n02_12 PRO n12_a_lob_n02_11->n12_a_lob_n02_12 n12_a_lob_n02_12->n12_a_lob_n02_13 n12_a_lob_n02_14->n12_a_lob_n02_15 n12_a_lob_n02_17 ADV n12_a_lob_n02_16->n12_a_lob_n02_17 n12_a_lob_n02_17->n12_a_lob_n02_18 n12_a_lob_n02_20 ADV n12_a_lob_n02_19->n12_a_lob_n02_20 n12_a_lob_n02_20->n12_a_lob_n02_21 n12_a_lob_n02_22->n12_a_lob_n02_23 n12_a_lob_n02_24->n12_a_lob_n02_25 
( (IP-MAT (NP-DSC;{JACK_BLANCHE} (NLYR (NLYR;{JACK} (PRO _*_))
                                       (CONJP (NLYR;{BLANCHE} (PRO _*_)))))
          (NP-SBJ;{JACK_BLANCHE} (PRO They;{they}))
          (BEP;_Ip_ <apos>re;{be})
          (ADVP-NIM (ADV both;{both}))
          (ADVP-CLR (ADV here;{here}))
          (PUNC .)
          (PURQ <rquo>))
  (ID 12_a_lob_n02))