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_0044_0003__NOW,R_0044_0008__MANHOLE_R_0044_0009__COVERS,R_0044_0004__A_R_0044_0005__JAPAN_R_0044_0006__SOCIETY,R_0044_0001__THERE_R_0044_0002__IS,R_0044_0015__DIFFERENT,R_0044_0014__6_COMMA_000_R_0044_0016__DESIGNS,R_0044_0012__THERE_R_0044_0013__ARE,R_0044_0010__THAT_R_0044_0011__CLAIMS] :
      ( r_0044_0003__now(R_0044_0003__NOW)
      & r_0044_0008__Manhole_r_0044_0009__Covers(R_0044_0008__MANHOLE_R_0044_0009__COVERS)
      & r_0044_0015__different(R_0044_0015__DIFFERENT)
      & r_0044_0010__that_r_0044_0011__claims(R_0044_0010__THAT_R_0044_0011__CLAIMS)
      & has_arg1(R_0044_0010__THAT_R_0044_0011__CLAIMS,R_0044_0012__THERE_R_0044_0013__ARE)
      & r_0044_0012__there_r_0044_0013__are(R_0044_0012__THERE_R_0044_0013__ARE)
      & has_arg0(R_0044_0012__THERE_R_0044_0013__ARE,R_0044_0014__6_COMMA_000_R_0044_0016__DESIGNS)
      & r_0044_0014__6_comma_000_r_0044_0016__designs(R_0044_0014__6_COMMA_000_R_0044_0016__DESIGNS)
      & has_attrib40(R_0044_0014__6_COMMA_000_R_0044_0016__DESIGNS,R_0044_0015__DIFFERENT)
      & has_arg0(R_0044_0010__THAT_R_0044_0011__CLAIMS,R_0044_0004__A_R_0044_0005__JAPAN_R_0044_0006__SOCIETY)
      & r_0044_0004__a_r_0044_0005__Japan_r_0044_0006__Society(R_0044_0004__A_R_0044_0005__JAPAN_R_0044_0006__SOCIETY)
      & has_r_0044_0007__for(R_0044_0004__A_R_0044_0005__JAPAN_R_0044_0006__SOCIETY,R_0044_0008__MANHOLE_R_0044_0009__COVERS)
      & r_0044_0001__There_r_0044_0002__is(R_0044_0001__THERE_R_0044_0002__IS)
      & has_arg0(R_0044_0001__THERE_R_0044_0002__IS,R_0044_0004__A_R_0044_0005__JAPAN_R_0044_0006__SOCIETY)
      & has_clr6(R_0044_0001__THERE_R_0044_0002__IS,R_0044_0003__NOW) ) ).


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))