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_1001____star__ * r_0036_0001__But_r_0036_0003__am->r_0036_1001____star__ [prd] r_0036_0002__I I r_0036_0001__But_r_0036_0003__am->r_0036_0002__I [arg0] 
fof(formula,axiom,
    ? [R_0036_0002__I,R_0036_1001____STAR__,R_0036_0001__BUT_R_0036_0003__AM] :
      ( r_0036_0002__I(R_0036_0002__I)
      & r_0036_1001____star__(R_0036_1001____STAR__)
      & r_0036_0001__But_r_0036_0003__am(R_0036_0001__BUT_R_0036_0003__AM)
      & has_prd(R_0036_0001__BUT_R_0036_0003__AM,R_0036_1001____STAR__)
      & has_arg0(R_0036_0001__BUT_R_0036_0003__AM,R_0036_0002__I) ) ).


n36_a_genieus n36_a_genieus__1_1_1 But n36_a_genieus__1_2_1_1 I n36_a_genieus__1_3_1 am n36_a_genieus__1_4_1_1 _*_ n36_a_genieus__1_5_1 . n36_a_genieus__1 IP-MAT n36_a_genieus__1_1 CONJ;_cl_ n36_a_genieus__1->n36_a_genieus__1_1 n36_a_genieus__1_2 NP-SBJ n36_a_genieus__1->n36_a_genieus__1_2 n36_a_genieus__1_3 BEP;_La_ n36_a_genieus__1->n36_a_genieus__1_3 n36_a_genieus__1_4 ADJP-PRD n36_a_genieus__1->n36_a_genieus__1_4 n36_a_genieus__1_5 PUNC n36_a_genieus__1->n36_a_genieus__1_5 n36_a_genieus__1_1->n36_a_genieus__1_1_1 n36_a_genieus__1_2_1 PRO n36_a_genieus__1_2->n36_a_genieus__1_2_1 n36_a_genieus__1_2_1->n36_a_genieus__1_2_1_1 n36_a_genieus__1_3->n36_a_genieus__1_3_1 n36_a_genieus__1_4_1 ADJ n36_a_genieus__1_4->n36_a_genieus__1_4_1 n36_a_genieus__1_4_1->n36_a_genieus__1_4_1_1 n36_a_genieus__1_5->n36_a_genieus__1_5_1 
( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ;{GENIE} (PRO I;{I}))
          (BEP;_La_ am;{be})
          (ADJP-PRD (ADJ _*_))
          (PUNC .))
  (ID 36_a_genieus))