Context                Previous, Next                Top


46_a_stuck_japan
They are works of art.

%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 
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_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] 
fof(formula,axiom,
    ? [R_46_2_ARE,R_46_1_THEY,R_46_3_WORKS,R_46_5_ART] :
      ( they(R_46_1_THEY)
      & art(R_46_5_ART)
      & are(R_46_2_ARE,R_46_1_THEY,R_46_3_WORKS)
      & works(R_46_3_WORKS)
      & of(R_46_3_WORKS,R_46_5_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))