Context                Previous, Next                Top


12_a_duplex
There was also cynicism about the demo itself.

n12_a_duplex n12_a_duplex__1_1_1 There n12_a_duplex__1_2_1 was n12_a_duplex__1_3_1_1 also n12_a_duplex__1_4_1_1 cynicism n12_a_duplex__1_5_1_1 about n12_a_duplex__1_5_2_1_1 the n12_a_duplex__1_5_2_2_1 demo n12_a_duplex__1_5_2_3_1_1 itself n12_a_duplex__1_6_1 . n12_a_duplex__1 IP-MAT n12_a_duplex__1_1 EX n12_a_duplex__1->n12_a_duplex__1_1 n12_a_duplex__1_2 BED;_ex_V_ n12_a_duplex__1->n12_a_duplex__1_2 n12_a_duplex__1_3 ADVP-NIM n12_a_duplex__1->n12_a_duplex__1_3 n12_a_duplex__1_4 NP-ESBJ n12_a_duplex__1->n12_a_duplex__1_4 n12_a_duplex__1_5 PP-NIM n12_a_duplex__1->n12_a_duplex__1_5 n12_a_duplex__1_6 PUNC n12_a_duplex__1->n12_a_duplex__1_6 n12_a_duplex__1_1->n12_a_duplex__1_1_1 n12_a_duplex__1_2->n12_a_duplex__1_2_1 n12_a_duplex__1_3_1 ADV n12_a_duplex__1_3->n12_a_duplex__1_3_1 n12_a_duplex__1_3_1->n12_a_duplex__1_3_1_1 n12_a_duplex__1_4_1 N n12_a_duplex__1_4->n12_a_duplex__1_4_1 n12_a_duplex__1_4_1->n12_a_duplex__1_4_1_1 n12_a_duplex__1_5_1 P-ROLE n12_a_duplex__1_5->n12_a_duplex__1_5_1 n12_a_duplex__1_5_2 NP n12_a_duplex__1_5->n12_a_duplex__1_5_2 n12_a_duplex__1_5_1->n12_a_duplex__1_5_1_1 n12_a_duplex__1_5_2_1 D n12_a_duplex__1_5_2->n12_a_duplex__1_5_2_1 n12_a_duplex__1_5_2_2 N n12_a_duplex__1_5_2->n12_a_duplex__1_5_2_2 n12_a_duplex__1_5_2_3 NP-RFL n12_a_duplex__1_5_2->n12_a_duplex__1_5_2_3 n12_a_duplex__1_5_2_1->n12_a_duplex__1_5_2_1_1 n12_a_duplex__1_5_2_2->n12_a_duplex__1_5_2_2_1 n12_a_duplex__1_5_2_3_1 PNX n12_a_duplex__1_5_2_3->n12_a_duplex__1_5_2_3_1 n12_a_duplex__1_5_2_3_1->n12_a_duplex__1_5_2_3_1_1 n12_a_duplex__1_6->n12_a_duplex__1_6_1 
( (IP-MAT (EX There;{there})
          (BED;_ex_V_ was;{be})
          (ADVP-NIM (ADV also;{also}))
          (NP-ESBJ (N cynicism;{cynicism}))
          (PP-NIM (P-ROLE about;{about})
                  (NP (D the;{the})
                      (N demo;{demo})
                      (NP-RFL (PNX itself;{itself}))))
          (PUNC .))
  (ID 12_a_duplex))


%3 r_0012_0006__the_r_0012_0007__demo the demo r_0012_0008__itself itself r_0012_0006__the_r_0012_0007__demo->r_0012_0008__itself [rfl] r_0012_0002__was was r_0012_0002__was->r_0012_0006__the_r_0012_0007__demo about [nim] r_0012_0004__cynicism cynicism r_0012_0002__was->r_0012_0004__cynicism [arg0] r_0012_0003__also also r_0012_0002__was->r_0012_0003__also [nim] 
arc(r_0012_0002__was,r_0012_0003__also,nim).
arc(r_0012_0002__was,r_0012_0004__cynicism,arg0).
arc(r_0012_0002__was,r_0012_0006__the_r_0012_0007__demo,r_0012_0005__about__nim).
arc(r_0012_0006__the_r_0012_0007__demo,r_0012_0008__itself,rfl).


%3 r_0012_0002__was was r_0012_0003__also also r_0012_0002__was->r_0012_0003__also [nim] r_0012_0004__cynicism cynicism r_0012_0002__was->r_0012_0004__cynicism [arg0] r_0012_0006__the_r_0012_0007__demo the demo r_0012_0002__was->r_0012_0006__the_r_0012_0007__demo about [nim] r_0012_0008__itself itself r_0012_0006__the_r_0012_0007__demo->r_0012_0008__itself [rfl] 
fof(formula,axiom,
    ? [R_0012_0003__ALSO,R_0012_0004__CYNICISM,R_0012_0008__ITSELF,R_0012_0006__THE_R_0012_0007__DEMO,R_0012_0002__WAS] :
      ( r_0012_0003__also(R_0012_0003__ALSO)
      & r_0012_0004__cynicism(R_0012_0004__CYNICISM)
      & r_0012_0008__itself(R_0012_0008__ITSELF)
      & r_0012_0002__was(R_0012_0002__WAS)
      & has_r_0012_0005__about__nim(R_0012_0002__WAS,R_0012_0006__THE_R_0012_0007__DEMO)
      & r_0012_0006__the_r_0012_0007__demo(R_0012_0006__THE_R_0012_0007__DEMO)
      & has_rfl(R_0012_0006__THE_R_0012_0007__DEMO,R_0012_0008__ITSELF)
      & has_arg0(R_0012_0002__WAS,R_0012_0004__CYNICISM)
      & has_nim(R_0012_0002__WAS,R_0012_0003__ALSO) ) ).