Context                Previous, Next                Top


24_a_genieus
The genie was tall and handsome and proud.

%3 r_0024_0003__was was r_0024_0001__The_r_0024_0002__genie The genie r_0024_0003__was->r_0024_0001__The_r_0024_0002__genie [arg0] r_0024_0007__and and r_0024_0003__was->r_0024_0007__and [prd] r_0024_0005__and and r_0024_0007__and->r_0024_0005__and [conj1] r_0024_0008__proud proud r_0024_0007__and->r_0024_0008__proud [conj2] r_0024_0004__tall tall r_0024_0005__and->r_0024_0004__tall [conj1] r_0024_0006__handsome handsome r_0024_0005__and->r_0024_0006__handsome [conj2] 
arc(r_0024_0003__was, r_0024_0001__The_r_0024_0002__genie, arg0).
arc(r_0024_0003__was, r_0024_0007__and, prd).
arc(r_0024_0005__and, r_0024_0004__tall, conj1).
arc(r_0024_0005__and, r_0024_0006__handsome, conj2).
arc(r_0024_0007__and, r_0024_0005__and, conj1).
arc(r_0024_0007__and, r_0024_0008__proud, conj2).


%3 r_0024_0003__was was r_0024_0001__The_r_0024_0002__genie The genie r_0024_0003__was->r_0024_0001__The_r_0024_0002__genie [arg0] r_0024_0007__and and r_0024_0003__was->r_0024_0007__and [prd] r_0024_0005__and and r_0024_0007__and->r_0024_0005__and [conj1] r_0024_0008__proud proud r_0024_0007__and->r_0024_0008__proud [conj2] r_0024_0004__tall tall r_0024_0005__and->r_0024_0004__tall [conj1] r_0024_0006__handsome handsome r_0024_0005__and->r_0024_0006__handsome [conj2] 
fof(formula,axiom,
    ? [R_24_3_WAS,R_24_1_THE_GENIE,R_24_7_AND,R_24_5_AND,R_24_4_TALL,R_24_6_HANDSOME,R_24_8_PROUD] :
      ( the_genie(R_24_1_THE_GENIE)
      & tall(R_24_4_TALL)
      & handsome(R_24_6_HANDSOME)
      & proud(R_24_8_PROUD)
      & was(R_24_3_WAS,R_24_1_THE_GENIE,R_24_7_AND)
      & and(R_24_7_AND)
      & conj1(R_24_7_AND,R_24_5_AND)
      & and(R_24_5_AND)
      & conj1(R_24_5_AND,R_24_4_TALL)
      & conj2(R_24_5_AND,R_24_6_HANDSOME)
      & conj2(R_24_7_AND,R_24_8_PROUD) ) ).


n24_a_genieus n24_a_genieus_4 The n24_a_genieus_6 genie n24_a_genieus_8 was n24_a_genieus_15 tall n24_a_genieus_18 and n24_a_genieus_21 handsome n24_a_genieus_24 and n24_a_genieus_27 proud n24_a_genieus_29 . n24_a_genieus_1 IP-MAT n24_a_genieus_2 NP-SBJ n24_a_genieus_1->n24_a_genieus_2 n24_a_genieus_7 BED;_La_ n24_a_genieus_1->n24_a_genieus_7 n24_a_genieus_9 ADJP-PRD n24_a_genieus_1->n24_a_genieus_9 n24_a_genieus_28 PUNC n24_a_genieus_1->n24_a_genieus_28 n24_a_genieus_3 D n24_a_genieus_2->n24_a_genieus_3 n24_a_genieus_5 N n24_a_genieus_2->n24_a_genieus_5 n24_a_genieus_3->n24_a_genieus_4 n24_a_genieus_5->n24_a_genieus_6 n24_a_genieus_7->n24_a_genieus_8 n24_a_genieus_10 AJLYR n24_a_genieus_9->n24_a_genieus_10 n24_a_genieus_11 AJLYR n24_a_genieus_10->n24_a_genieus_11 n24_a_genieus_22 CONJP n24_a_genieus_10->n24_a_genieus_22 n24_a_genieus_12 AJLYR n24_a_genieus_11->n24_a_genieus_12 n24_a_genieus_13 AJLYR n24_a_genieus_12->n24_a_genieus_13 n24_a_genieus_16 CONJP n24_a_genieus_12->n24_a_genieus_16 n24_a_genieus_14 ADJ n24_a_genieus_13->n24_a_genieus_14 n24_a_genieus_14->n24_a_genieus_15 n24_a_genieus_17 CONJ n24_a_genieus_16->n24_a_genieus_17 n24_a_genieus_19 AJLYR n24_a_genieus_16->n24_a_genieus_19 n24_a_genieus_17->n24_a_genieus_18 n24_a_genieus_20 ADJ n24_a_genieus_19->n24_a_genieus_20 n24_a_genieus_20->n24_a_genieus_21 n24_a_genieus_23 CONJ n24_a_genieus_22->n24_a_genieus_23 n24_a_genieus_25 AJLYR n24_a_genieus_22->n24_a_genieus_25 n24_a_genieus_23->n24_a_genieus_24 n24_a_genieus_26 ADJ n24_a_genieus_25->n24_a_genieus_26 n24_a_genieus_26->n24_a_genieus_27 n24_a_genieus_28->n24_a_genieus_29 
( (IP-MAT (NP-SBJ;{GENIE} (D The;{the})
                          (N genie;{genie}))
          (BED;_La_ was;{be})
          (ADJP-PRD (AJLYR (AJLYR (AJLYR (AJLYR (ADJ tall;{tall}))
                                         (CONJP (CONJ and;{and})
                                                (AJLYR (ADJ handsome;{handsome})))))
                           (CONJP (CONJ and;{and})
                                  (AJLYR (ADJ proud;{proud})))))
          (PUNC .))
  (ID 24_a_genieus))