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_0014__6_comma_000_r_0044_0016__designs 6,000 designs r_0044_0015__different different r_0044_0014__6_comma_000_r_0044_0016__designs->r_0044_0015__different [attrib] r_0044_0012__there_r_0044_0013__are there are r_0044_0012__there_r_0044_0013__are->r_0044_0014__6_comma_000_r_0044_0016__designs [arg0] r_0044_0010__that_r_0044_0011__claims that claims r_0044_0010__that_r_0044_0011__claims->r_0044_0012__there_r_0044_0013__are [arg1] r_0044_0004__a_r_0044_0005__Japan_r_0044_0006__Society a Japan Society r_0044_0010__that_r_0044_0011__claims->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_0001__There_r_0044_0002__is There is r_0044_0001__There_r_0044_0002__is->r_0044_0004__a_r_0044_0005__Japan_r_0044_0006__Society [arg0] r_0044_0003__now now r_0044_0001__There_r_0044_0002__is->r_0044_0003__now [clr] 
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__1_1_1 There n44_a_stuck_japan__1_2_1 is n44_a_stuck_japan__1_3_1_1 now n44_a_stuck_japan__1_4_1_1 a n44_a_stuck_japan__1_4_2_1 Japan n44_a_stuck_japan__1_4_3_1 Society n44_a_stuck_japan__1_4_4_1_1 for n44_a_stuck_japan__1_4_4_2_1_1 Manhole n44_a_stuck_japan__1_4_4_2_2_1 Covers n44_a_stuck_japan__1_4_5_1_1 that n44_a_stuck_japan__1_4_5_2_1 *T* n44_a_stuck_japan__1_4_5_3_1 claims n44_a_stuck_japan__1_4_5_4_1_1_1 there n44_a_stuck_japan__1_4_5_4_1_2_1 are n44_a_stuck_japan__1_4_5_4_1_3_1_1 6,000 n44_a_stuck_japan__1_4_5_4_1_3_2_1_1 different n44_a_stuck_japan__1_4_5_4_1_3_3_1 designs n44_a_stuck_japan__1_5_1 . n44_a_stuck_japan__1 IP-MAT n44_a_stuck_japan__1_1 EX n44_a_stuck_japan__1->n44_a_stuck_japan__1_1 n44_a_stuck_japan__1_2 BEP;_ex_V_ n44_a_stuck_japan__1->n44_a_stuck_japan__1_2 n44_a_stuck_japan__1_3 ADVP-CLR n44_a_stuck_japan__1->n44_a_stuck_japan__1_3 n44_a_stuck_japan__1_4 NP-ESBJ n44_a_stuck_japan__1->n44_a_stuck_japan__1_4 n44_a_stuck_japan__1_5 PUNC n44_a_stuck_japan__1->n44_a_stuck_japan__1_5 n44_a_stuck_japan__1_1->n44_a_stuck_japan__1_1_1 n44_a_stuck_japan__1_2->n44_a_stuck_japan__1_2_1 n44_a_stuck_japan__1_3_1 ADV n44_a_stuck_japan__1_3->n44_a_stuck_japan__1_3_1 n44_a_stuck_japan__1_3_1->n44_a_stuck_japan__1_3_1_1 n44_a_stuck_japan__1_4_1 D n44_a_stuck_japan__1_4->n44_a_stuck_japan__1_4_1 n44_a_stuck_japan__1_4_2 NPR n44_a_stuck_japan__1_4->n44_a_stuck_japan__1_4_2 n44_a_stuck_japan__1_4_3 NPR n44_a_stuck_japan__1_4->n44_a_stuck_japan__1_4_3 n44_a_stuck_japan__1_4_4 PP n44_a_stuck_japan__1_4->n44_a_stuck_japan__1_4_4 n44_a_stuck_japan__1_4_5 IP-REL n44_a_stuck_japan__1_4->n44_a_stuck_japan__1_4_5 n44_a_stuck_japan__1_4_1->n44_a_stuck_japan__1_4_1_1 n44_a_stuck_japan__1_4_2->n44_a_stuck_japan__1_4_2_1 n44_a_stuck_japan__1_4_3->n44_a_stuck_japan__1_4_3_1 n44_a_stuck_japan__1_4_4_1 P-ROLE n44_a_stuck_japan__1_4_4->n44_a_stuck_japan__1_4_4_1 n44_a_stuck_japan__1_4_4_2 NP n44_a_stuck_japan__1_4_4->n44_a_stuck_japan__1_4_4_2 n44_a_stuck_japan__1_4_4_1->n44_a_stuck_japan__1_4_4_1_1 n44_a_stuck_japan__1_4_4_2_1 N n44_a_stuck_japan__1_4_4_2->n44_a_stuck_japan__1_4_4_2_1 n44_a_stuck_japan__1_4_4_2_2 NS n44_a_stuck_japan__1_4_4_2->n44_a_stuck_japan__1_4_4_2_2 n44_a_stuck_japan__1_4_4_2_1->n44_a_stuck_japan__1_4_4_2_1_1 n44_a_stuck_japan__1_4_4_2_2->n44_a_stuck_japan__1_4_4_2_2_1 n44_a_stuck_japan__1_4_5_1 C n44_a_stuck_japan__1_4_5->n44_a_stuck_japan__1_4_5_1 n44_a_stuck_japan__1_4_5_2 NP-SBJ n44_a_stuck_japan__1_4_5->n44_a_stuck_japan__1_4_5_2 n44_a_stuck_japan__1_4_5_3 VBP;_Tf_ n44_a_stuck_japan__1_4_5->n44_a_stuck_japan__1_4_5_3 n44_a_stuck_japan__1_4_5_4 CP-THT-OB1 n44_a_stuck_japan__1_4_5->n44_a_stuck_japan__1_4_5_4 n44_a_stuck_japan__1_4_5_1->n44_a_stuck_japan__1_4_5_1_1 n44_a_stuck_japan__1_4_5_2->n44_a_stuck_japan__1_4_5_2_1 n44_a_stuck_japan__1_4_5_3->n44_a_stuck_japan__1_4_5_3_1 n44_a_stuck_japan__1_4_5_4_1 IP-SUB n44_a_stuck_japan__1_4_5_4->n44_a_stuck_japan__1_4_5_4_1 n44_a_stuck_japan__1_4_5_4_1_1 EX n44_a_stuck_japan__1_4_5_4_1->n44_a_stuck_japan__1_4_5_4_1_1 n44_a_stuck_japan__1_4_5_4_1_2 BEP;_ex_V_ n44_a_stuck_japan__1_4_5_4_1->n44_a_stuck_japan__1_4_5_4_1_2 n44_a_stuck_japan__1_4_5_4_1_3 NP-ESBJ n44_a_stuck_japan__1_4_5_4_1->n44_a_stuck_japan__1_4_5_4_1_3 n44_a_stuck_japan__1_4_5_4_1_1->n44_a_stuck_japan__1_4_5_4_1_1_1 n44_a_stuck_japan__1_4_5_4_1_2->n44_a_stuck_japan__1_4_5_4_1_2_1 n44_a_stuck_japan__1_4_5_4_1_3_1 NUM n44_a_stuck_japan__1_4_5_4_1_3->n44_a_stuck_japan__1_4_5_4_1_3_1 n44_a_stuck_japan__1_4_5_4_1_3_2 ADJP n44_a_stuck_japan__1_4_5_4_1_3->n44_a_stuck_japan__1_4_5_4_1_3_2 n44_a_stuck_japan__1_4_5_4_1_3_3 NS n44_a_stuck_japan__1_4_5_4_1_3->n44_a_stuck_japan__1_4_5_4_1_3_3 n44_a_stuck_japan__1_4_5_4_1_3_1->n44_a_stuck_japan__1_4_5_4_1_3_1_1 n44_a_stuck_japan__1_4_5_4_1_3_2_1 ADJ n44_a_stuck_japan__1_4_5_4_1_3_2->n44_a_stuck_japan__1_4_5_4_1_3_2_1 n44_a_stuck_japan__1_4_5_4_1_3_2_1->n44_a_stuck_japan__1_4_5_4_1_3_2_1_1 n44_a_stuck_japan__1_4_5_4_1_3_3->n44_a_stuck_japan__1_4_5_4_1_3_3_1 n44_a_stuck_japan__1_5->n44_a_stuck_japan__1_5_1 
( (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))