Context                Previous, Next                Top


44_a_stuck_japan
There is now a Japan Society for Manhole Covers that claims there are 6,000 different designs.

%3 r_0044_0001__There_r_0044_0002__is There is r_0044_0003__now now r_0044_0001__There_r_0044_0002__is->r_0044_0003__now [clr] r_0044_0004__a_r_0044_0005__Japan_r_0044_0006__Society a Japan Society r_0044_0001__There_r_0044_0002__is->r_0044_0004__a_r_0044_0005__Japan_r_0044_0006__Society [arg0] r_0044_0008__Manhole_r_0044_0009__Covers Manhole Covers r_0044_0004__a_r_0044_0005__Japan_r_0044_0006__Society->r_0044_0008__Manhole_r_0044_0009__Covers for r_0044_0010__that_r_0044_0011__claims that claims r_0044_0010__that_r_0044_0011__claims->r_0044_0004__a_r_0044_0005__Japan_r_0044_0006__Society [arg0] r_0044_0012__there_r_0044_0013__are there are r_0044_0010__that_r_0044_0011__claims->r_0044_0012__there_r_0044_0013__are [arg1] r_0044_0014__6_comma_000_r_0044_0016__designs 6,000 designs r_0044_0012__there_r_0044_0013__are->r_0044_0014__6_comma_000_r_0044_0016__designs [arg0] r_0044_0015__different different r_0044_0014__6_comma_000_r_0044_0016__designs->r_0044_0015__different [attrib] 
arc(r_0044_0001__There_r_0044_0002__is, r_0044_0003__now, clr6).
arc(r_0044_0001__There_r_0044_0002__is, r_0044_0004__a_r_0044_0005__Japan_r_0044_0006__Society, arg0).
arc(r_0044_0004__a_r_0044_0005__Japan_r_0044_0006__Society, r_0044_0008__Manhole_r_0044_0009__Covers, r_0044_0007__for).
arc(r_0044_0010__that_r_0044_0011__claims, r_0044_0004__a_r_0044_0005__Japan_r_0044_0006__Society, arg0).
arc(r_0044_0010__that_r_0044_0011__claims, r_0044_0012__there_r_0044_0013__are, arg1).
arc(r_0044_0012__there_r_0044_0013__are, r_0044_0014__6_comma_000_r_0044_0016__designs, arg0).
arc(r_0044_0014__6_comma_000_r_0044_0016__designs, r_0044_0015__different, attrib40).


%3 r_0044_0001__There_r_0044_0002__is There is r_0044_0003__now now r_0044_0001__There_r_0044_0002__is->r_0044_0003__now [clr] r_0044_0004__a_r_0044_0005__Japan_r_0044_0006__Society a Japan Society r_0044_0001__There_r_0044_0002__is->r_0044_0004__a_r_0044_0005__Japan_r_0044_0006__Society [arg0] r_0044_0008__Manhole_r_0044_0009__Covers Manhole Covers r_0044_0004__a_r_0044_0005__Japan_r_0044_0006__Society->r_0044_0008__Manhole_r_0044_0009__Covers for r_0044_0010__that_r_0044_0011__claims that claims r_0044_0010__that_r_0044_0011__claims->r_0044_0004__a_r_0044_0005__Japan_r_0044_0006__Society [arg0] r_0044_0012__there_r_0044_0013__are there are r_0044_0010__that_r_0044_0011__claims->r_0044_0012__there_r_0044_0013__are [arg1] r_0044_0014__6_comma_000_r_0044_0016__designs 6,000 designs r_0044_0012__there_r_0044_0013__are->r_0044_0014__6_comma_000_r_0044_0016__designs [arg0] r_0044_0015__different different r_0044_0014__6_comma_000_r_0044_0016__designs->r_0044_0015__different [attrib] 
fof(formula,axiom,
    ? [R_44_1_THERE_IS,R_44_3_NOW,R_44_10_THAT_CLAIMS,R_44_4_A_JAPAN_SOCIETY,R_44_8_MANHOLE_COVERS,R_44_12_THERE_ARE,R_44_14_6_COMMA_DESIGNS,R_44_15_DIFFERENT] :
      ( now(R_44_3_NOW)
      & manhole_Covers(R_44_8_MANHOLE_COVERS)
      & different(R_44_15_DIFFERENT)
      & there_is(R_44_1_THERE_IS,R_44_4_A_JAPAN_SOCIETY)
      & a_Japan_Society(R_44_4_A_JAPAN_SOCIETY)
      & for(R_44_4_A_JAPAN_SOCIETY,R_44_8_MANHOLE_COVERS)
      & clr6(R_44_1_THERE_IS,R_44_3_NOW)
      & that_claims(R_44_10_THAT_CLAIMS,R_44_4_A_JAPAN_SOCIETY,R_44_12_THERE_ARE)
      & there_are(R_44_12_THERE_ARE,R_44_14_6_COMMA_DESIGNS)
      & 6_comma_designs(R_44_14_6_COMMA_DESIGNS)
      & attrib40(R_44_14_6_COMMA_DESIGNS,R_44_15_DIFFERENT) ) ).


n44_a_stuck_japan n44_a_stuck_japan_3 There n44_a_stuck_japan_5 is n44_a_stuck_japan_8 now n44_a_stuck_japan_11 a n44_a_stuck_japan_13 Japan n44_a_stuck_japan_15 Society n44_a_stuck_japan_18 for n44_a_stuck_japan_21 Manhole n44_a_stuck_japan_23 Covers n44_a_stuck_japan_26 that n44_a_stuck_japan_28 *T* n44_a_stuck_japan_30 claims n44_a_stuck_japan_34 there n44_a_stuck_japan_36 are n44_a_stuck_japan_39 6,000 n44_a_stuck_japan_42 different n44_a_stuck_japan_44 designs n44_a_stuck_japan_46 . n44_a_stuck_japan_1 IP-MAT n44_a_stuck_japan_2 EX n44_a_stuck_japan_1->n44_a_stuck_japan_2 n44_a_stuck_japan_4 BEP;_ex_V_ n44_a_stuck_japan_1->n44_a_stuck_japan_4 n44_a_stuck_japan_6 ADVP-CLR n44_a_stuck_japan_1->n44_a_stuck_japan_6 n44_a_stuck_japan_9 NP-ESBJ n44_a_stuck_japan_1->n44_a_stuck_japan_9 n44_a_stuck_japan_45 PUNC n44_a_stuck_japan_1->n44_a_stuck_japan_45 n44_a_stuck_japan_2->n44_a_stuck_japan_3 n44_a_stuck_japan_4->n44_a_stuck_japan_5 n44_a_stuck_japan_7 ADV n44_a_stuck_japan_6->n44_a_stuck_japan_7 n44_a_stuck_japan_7->n44_a_stuck_japan_8 n44_a_stuck_japan_10 D n44_a_stuck_japan_9->n44_a_stuck_japan_10 n44_a_stuck_japan_12 NPR n44_a_stuck_japan_9->n44_a_stuck_japan_12 n44_a_stuck_japan_14 NPR n44_a_stuck_japan_9->n44_a_stuck_japan_14 n44_a_stuck_japan_16 PP n44_a_stuck_japan_9->n44_a_stuck_japan_16 n44_a_stuck_japan_24 IP-REL n44_a_stuck_japan_9->n44_a_stuck_japan_24 n44_a_stuck_japan_10->n44_a_stuck_japan_11 n44_a_stuck_japan_12->n44_a_stuck_japan_13 n44_a_stuck_japan_14->n44_a_stuck_japan_15 n44_a_stuck_japan_17 P-ROLE n44_a_stuck_japan_16->n44_a_stuck_japan_17 n44_a_stuck_japan_19 NP n44_a_stuck_japan_16->n44_a_stuck_japan_19 n44_a_stuck_japan_17->n44_a_stuck_japan_18 n44_a_stuck_japan_20 N n44_a_stuck_japan_19->n44_a_stuck_japan_20 n44_a_stuck_japan_22 NS n44_a_stuck_japan_19->n44_a_stuck_japan_22 n44_a_stuck_japan_20->n44_a_stuck_japan_21 n44_a_stuck_japan_22->n44_a_stuck_japan_23 n44_a_stuck_japan_25 C n44_a_stuck_japan_24->n44_a_stuck_japan_25 n44_a_stuck_japan_27 NP-SBJ n44_a_stuck_japan_24->n44_a_stuck_japan_27 n44_a_stuck_japan_29 VBP;_Tf_ n44_a_stuck_japan_24->n44_a_stuck_japan_29 n44_a_stuck_japan_31 CP-THT-OB1 n44_a_stuck_japan_24->n44_a_stuck_japan_31 n44_a_stuck_japan_25->n44_a_stuck_japan_26 n44_a_stuck_japan_27->n44_a_stuck_japan_28 n44_a_stuck_japan_29->n44_a_stuck_japan_30 n44_a_stuck_japan_32 IP-SUB n44_a_stuck_japan_31->n44_a_stuck_japan_32 n44_a_stuck_japan_33 EX n44_a_stuck_japan_32->n44_a_stuck_japan_33 n44_a_stuck_japan_35 BEP;_ex_V_ n44_a_stuck_japan_32->n44_a_stuck_japan_35 n44_a_stuck_japan_37 NP-ESBJ n44_a_stuck_japan_32->n44_a_stuck_japan_37 n44_a_stuck_japan_33->n44_a_stuck_japan_34 n44_a_stuck_japan_35->n44_a_stuck_japan_36 n44_a_stuck_japan_38 NUM n44_a_stuck_japan_37->n44_a_stuck_japan_38 n44_a_stuck_japan_40 ADJP n44_a_stuck_japan_37->n44_a_stuck_japan_40 n44_a_stuck_japan_43 NS n44_a_stuck_japan_37->n44_a_stuck_japan_43 n44_a_stuck_japan_38->n44_a_stuck_japan_39 n44_a_stuck_japan_41 ADJ n44_a_stuck_japan_40->n44_a_stuck_japan_41 n44_a_stuck_japan_41->n44_a_stuck_japan_42 n44_a_stuck_japan_43->n44_a_stuck_japan_44 n44_a_stuck_japan_45->n44_a_stuck_japan_46 
( (IP-MAT (EX There;{there})
          (BEP;_ex_V_ is;{be})
          (ADVP-CLR (ADV now;{now}))
          (NP-ESBJ (D a;{a})
                   (NPR Japan;{Japan})
                   (NPR Society;{Society})
                   (PP (P-ROLE for;{for})
                       (NP (N Manhole;{Manhole})
                           (NS Covers;{cover})))
                   (IP-REL (C that;{that})
                           (NP-SBJ *T*)
                           (VBP;_Tf_ claims;{claim})
                           (CP-THT-OB1 (IP-SUB (EX there;{there})
                                               (BEP;_ex_V_ are;{be})
                                               (NP-ESBJ (NUM 6,000)
                                                        (ADJP (ADJ different;{different}))
                                                        (NS designs;{design}))))))
          (PUNC .))
  (ID 44_a_stuck_japan))