Context                Previous, Next                Top


46_a_stuck_japan
They are works of art.

n46_a_stuck_japan n46_a_stuck_japan__1_1_1_1 They n46_a_stuck_japan__1_2_1 are n46_a_stuck_japan__1_3_1_1 works n46_a_stuck_japan__1_3_2_1_1 of n46_a_stuck_japan__1_3_2_2_1_1 art n46_a_stuck_japan__1_4_1 . n46_a_stuck_japan__1 IP-MAT n46_a_stuck_japan__1_1 NP-SBJ n46_a_stuck_japan__1->n46_a_stuck_japan__1_1 n46_a_stuck_japan__1_2 BEP;_Ln_ n46_a_stuck_japan__1->n46_a_stuck_japan__1_2 n46_a_stuck_japan__1_3 NP-PRD n46_a_stuck_japan__1->n46_a_stuck_japan__1_3 n46_a_stuck_japan__1_4 PUNC n46_a_stuck_japan__1->n46_a_stuck_japan__1_4 n46_a_stuck_japan__1_1_1 PRO n46_a_stuck_japan__1_1->n46_a_stuck_japan__1_1_1 n46_a_stuck_japan__1_1_1->n46_a_stuck_japan__1_1_1_1 n46_a_stuck_japan__1_2->n46_a_stuck_japan__1_2_1 n46_a_stuck_japan__1_3_1 NS n46_a_stuck_japan__1_3->n46_a_stuck_japan__1_3_1 n46_a_stuck_japan__1_3_2 PP n46_a_stuck_japan__1_3->n46_a_stuck_japan__1_3_2 n46_a_stuck_japan__1_3_1->n46_a_stuck_japan__1_3_1_1 n46_a_stuck_japan__1_3_2_1 P-ROLE n46_a_stuck_japan__1_3_2->n46_a_stuck_japan__1_3_2_1 n46_a_stuck_japan__1_3_2_2 NP n46_a_stuck_japan__1_3_2->n46_a_stuck_japan__1_3_2_2 n46_a_stuck_japan__1_3_2_1->n46_a_stuck_japan__1_3_2_1_1 n46_a_stuck_japan__1_3_2_2_1 N n46_a_stuck_japan__1_3_2_2->n46_a_stuck_japan__1_3_2_2_1 n46_a_stuck_japan__1_3_2_2_1->n46_a_stuck_japan__1_3_2_2_1_1 n46_a_stuck_japan__1_4->n46_a_stuck_japan__1_4_1 
( (IP-MAT (NP-SBJ (PRO They;{they}))
          (BEP;_Ln_ are;{be})
          (NP-PRD (NS works;{work})
                  (PP (P-ROLE of;{of})
                      (NP (N art;{art}))))
          (PUNC .))
  (ID 46_a_stuck_japan))


%3 r_0046_0003__works works r_0046_0005__art art r_0046_0003__works->r_0046_0005__art of r_0046_0002__are are r_0046_0002__are->r_0046_0003__works [prd] r_0046_0001__They They r_0046_0002__are->r_0046_0001__They [arg0] 
arc(r_0046_0002__are,r_0046_0001__They,arg0).
arc(r_0046_0002__are,r_0046_0003__works,prd).
arc(r_0046_0003__works,r_0046_0005__art,r_0046_0004__of).


%3 r_0046_0002__are are r_0046_0001__They They r_0046_0002__are->r_0046_0001__They [arg0] r_0046_0003__works works r_0046_0002__are->r_0046_0003__works [prd] r_0046_0005__art art r_0046_0003__works->r_0046_0005__art of 
fof(formula,axiom,
    ? [R_0046_0001__THEY,R_0046_0005__ART,R_0046_0003__WORKS,R_0046_0002__ARE] :
      ( r_0046_0001__They(R_0046_0001__THEY)
      & r_0046_0005__art(R_0046_0005__ART)
      & r_0046_0002__are(R_0046_0002__ARE)
      & has_prd(R_0046_0002__ARE,R_0046_0003__WORKS)
      & r_0046_0003__works(R_0046_0003__WORKS)
      & has_r_0046_0004__of(R_0046_0003__WORKS,R_0046_0005__ART)
      & has_arg0(R_0046_0002__ARE,R_0046_0001__THEY) ) ).