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 z_000_12_a_lob_n02_3 r_0012_1002____star__ * z_000_12_a_lob_n02_3->r_0012_1002____star__ [conj2] r_0012_1001____star__ * z_000_12_a_lob_n02_3->r_0012_1001____star__ [conj1] r_0012_0002___apos_re 're r_0012_0002___apos_re->z_000_12_a_lob_n02_3 [arg0] r_0012_0004__here here r_0012_0002___apos_re->r_0012_0004__here [clr] r_0012_0003__both both r_0012_0002___apos_re->r_0012_0003__both [nim] 
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__1_1_1_1_1_1 _*_ n12_a_lob_n02__1_1_1_2_1_1_1 _*_ n12_a_lob_n02__1_2_1_1 They n12_a_lob_n02__1_3_1 're n12_a_lob_n02__1_4_1_1 both n12_a_lob_n02__1_5_1_1 here n12_a_lob_n02__1_6_1 . n12_a_lob_n02__1_7_1 <rquo> n12_a_lob_n02__1 IP-MAT n12_a_lob_n02__1_1 NP-DSC n12_a_lob_n02__1->n12_a_lob_n02__1_1 n12_a_lob_n02__1_2 NP-SBJ n12_a_lob_n02__1->n12_a_lob_n02__1_2 n12_a_lob_n02__1_3 BEP;_Ip_ n12_a_lob_n02__1->n12_a_lob_n02__1_3 n12_a_lob_n02__1_4 ADVP-NIM n12_a_lob_n02__1->n12_a_lob_n02__1_4 n12_a_lob_n02__1_5 ADVP-CLR n12_a_lob_n02__1->n12_a_lob_n02__1_5 n12_a_lob_n02__1_6 PUNC n12_a_lob_n02__1->n12_a_lob_n02__1_6 n12_a_lob_n02__1_7 PURQ n12_a_lob_n02__1->n12_a_lob_n02__1_7 n12_a_lob_n02__1_1_1 NLYR n12_a_lob_n02__1_1->n12_a_lob_n02__1_1_1 n12_a_lob_n02__1_1_1_1 NLYR n12_a_lob_n02__1_1_1->n12_a_lob_n02__1_1_1_1 n12_a_lob_n02__1_1_1_2 CONJP n12_a_lob_n02__1_1_1->n12_a_lob_n02__1_1_1_2 n12_a_lob_n02__1_1_1_1_1 PRO n12_a_lob_n02__1_1_1_1->n12_a_lob_n02__1_1_1_1_1 n12_a_lob_n02__1_1_1_1_1->n12_a_lob_n02__1_1_1_1_1_1 n12_a_lob_n02__1_1_1_2_1 NLYR n12_a_lob_n02__1_1_1_2->n12_a_lob_n02__1_1_1_2_1 n12_a_lob_n02__1_1_1_2_1_1 PRO n12_a_lob_n02__1_1_1_2_1->n12_a_lob_n02__1_1_1_2_1_1 n12_a_lob_n02__1_1_1_2_1_1->n12_a_lob_n02__1_1_1_2_1_1_1 n12_a_lob_n02__1_2_1 PRO n12_a_lob_n02__1_2->n12_a_lob_n02__1_2_1 n12_a_lob_n02__1_2_1->n12_a_lob_n02__1_2_1_1 n12_a_lob_n02__1_3->n12_a_lob_n02__1_3_1 n12_a_lob_n02__1_4_1 ADV n12_a_lob_n02__1_4->n12_a_lob_n02__1_4_1 n12_a_lob_n02__1_4_1->n12_a_lob_n02__1_4_1_1 n12_a_lob_n02__1_5_1 ADV n12_a_lob_n02__1_5->n12_a_lob_n02__1_5_1 n12_a_lob_n02__1_5_1->n12_a_lob_n02__1_5_1_1 n12_a_lob_n02__1_6->n12_a_lob_n02__1_6_1 n12_a_lob_n02__1_7->n12_a_lob_n02__1_7_1 
( (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))