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_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_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_4 They n46_a_stuck_japan_6 are n46_a_stuck_japan_9 works n46_a_stuck_japan_12 of n46_a_stuck_japan_15 art n46_a_stuck_japan_17 . n46_a_stuck_japan_1 IP-MAT n46_a_stuck_japan_2 NP-SBJ n46_a_stuck_japan_1->n46_a_stuck_japan_2 n46_a_stuck_japan_5 BEP;_Ln_ n46_a_stuck_japan_1->n46_a_stuck_japan_5 n46_a_stuck_japan_7 NP-PRD n46_a_stuck_japan_1->n46_a_stuck_japan_7 n46_a_stuck_japan_16 PUNC n46_a_stuck_japan_1->n46_a_stuck_japan_16 n46_a_stuck_japan_3 PRO n46_a_stuck_japan_2->n46_a_stuck_japan_3 n46_a_stuck_japan_3->n46_a_stuck_japan_4 n46_a_stuck_japan_5->n46_a_stuck_japan_6 n46_a_stuck_japan_8 NS n46_a_stuck_japan_7->n46_a_stuck_japan_8 n46_a_stuck_japan_10 PP n46_a_stuck_japan_7->n46_a_stuck_japan_10 n46_a_stuck_japan_8->n46_a_stuck_japan_9 n46_a_stuck_japan_11 P-ROLE n46_a_stuck_japan_10->n46_a_stuck_japan_11 n46_a_stuck_japan_13 NP n46_a_stuck_japan_10->n46_a_stuck_japan_13 n46_a_stuck_japan_11->n46_a_stuck_japan_12 n46_a_stuck_japan_14 N n46_a_stuck_japan_13->n46_a_stuck_japan_14 n46_a_stuck_japan_14->n46_a_stuck_japan_15 n46_a_stuck_japan_16->n46_a_stuck_japan_17 
( (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))