Context                Previous, Next                Top


36_a_genieus
But I am.

%3 r_0036_0001__But_r_0036_0003__am But am r_0036_0002__I I r_0036_0001__But_r_0036_0003__am->r_0036_0002__I [arg0] r_0036_1001____star__ * r_0036_0001__But_r_0036_0003__am->r_0036_1001____star__ [prd] 
arc(r_0036_0001__But_r_0036_0003__am, r_0036_0002__I, arg0).
arc(r_0036_0001__But_r_0036_0003__am, r_0036_1001____star__, prd).


%3 r_0036_0001__But_r_0036_0003__am But am r_0036_0002__I I r_0036_0001__But_r_0036_0003__am->r_0036_0002__I [arg0] r_0036_1001____star__ * r_0036_0001__But_r_0036_0003__am->r_0036_1001____star__ [prd] 
fof(formula,axiom,
    ? [R_36_1_BUT_AM,R_36_2_I,R_36_1001__STAR_] :
      ( i(R_36_2_I)
      & _star_(R_36_1001__STAR_)
      & but_am(R_36_1_BUT_AM,R_36_2_I,R_36_1001__STAR_) ) ).


n36_a_genieus n36_a_genieus_3 But n36_a_genieus_6 I n36_a_genieus_8 am n36_a_genieus_11 _*_ n36_a_genieus_13 . n36_a_genieus_1 IP-MAT n36_a_genieus_2 CONJ;_cl_ n36_a_genieus_1->n36_a_genieus_2 n36_a_genieus_4 NP-SBJ n36_a_genieus_1->n36_a_genieus_4 n36_a_genieus_7 BEP;_La_ n36_a_genieus_1->n36_a_genieus_7 n36_a_genieus_9 ADJP-PRD n36_a_genieus_1->n36_a_genieus_9 n36_a_genieus_12 PUNC n36_a_genieus_1->n36_a_genieus_12 n36_a_genieus_2->n36_a_genieus_3 n36_a_genieus_5 PRO n36_a_genieus_4->n36_a_genieus_5 n36_a_genieus_5->n36_a_genieus_6 n36_a_genieus_7->n36_a_genieus_8 n36_a_genieus_10 ADJ n36_a_genieus_9->n36_a_genieus_10 n36_a_genieus_10->n36_a_genieus_11 n36_a_genieus_12->n36_a_genieus_13 
( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ;{GENIE} (PRO I;{I}))
          (BEP;_La_ am;{be})
          (ADJP-PRD (ADJ _*_))
          (PUNC .))
  (ID 36_a_genieus))