TSPC 97_a_kyoto

97_a_kyoto_2
It is the largest sect of the Rinzai School, with more than 3,400 sect temples.

( (IP-MAT (NP-SBJ (PRO It;{it}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D the;{the})
                  (ADJP (ADJS largest;{large}))
                  (N sect;{sect})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (NPR Rinzai;{Rinzai})
                          (NPR School;{School})))
                  (PUNC ,)
                  (PP (P-ROLE with;{with})
                      (NP (ADJP (ADJR more;{more})
                                (PP (P-ROLE than;{than})
                                    (NP (NUM 3,400))))
                          (N sect;{sect})
                          (NS temples;{temple}))))
          (PUNC .))
  (ID 97_a_kyoto_2;BDS_00002;96))

arc(r_0097_0002__is,r_0097_0001__It,arg0).
arc(r_0097_0002__is,r_0097_0003__the_r_0097_0005__sect,prd).
arc(r_0097_0003__the_r_0097_0005__sect,r_0097_0004__largest,attrib).
arc(r_0097_0003__the_r_0097_0005__sect,r_0097_0007__the_r_0097_0008__Rinzai_r_0097_0009__School,r_0097_0006__of).
arc(r_0097_0003__the_r_0097_0005__sect,r_0097_0015__sect_r_0097_0016__temples,r_0097_0011__with).
arc(r_0097_0012__more,r_0097_0014__3_comma_400,r_0097_0013__than).
arc(r_0097_0015__sect_r_0097_0016__temples,r_0097_0012__more,attrib).

fof(formula,axiom,
    ? [R_0097_0001__IT,R_0097_0004__LARGEST,R_0097_0007__THE_R_0097_0008__RINZAI_R_0097_0009__SCHOOL,R_0097_0014__3_COMMA_400,R_0097_0012__MORE,R_0097_0015__SECT_R_0097_0016__TEMPLES,R_0097_0003__THE_R_0097_0005__SECT,R_0097_0002__IS] :
      ( r_0097_0001__It(R_0097_0001__IT)
      & r_0097_0004__largest(R_0097_0004__LARGEST)
      & r_0097_0007__the_r_0097_0008__Rinzai_r_0097_0009__School(R_0097_0007__THE_R_0097_0008__RINZAI_R_0097_0009__SCHOOL)
      & r_0097_0014__3_comma_400(R_0097_0014__3_COMMA_400)
      & r_0097_0002__is(R_0097_0002__IS)
      & has_prd(R_0097_0002__IS,R_0097_0003__THE_R_0097_0005__SECT)
      & r_0097_0003__the_r_0097_0005__sect(R_0097_0003__THE_R_0097_0005__SECT)
      & has_r_0097_0011__with(R_0097_0003__THE_R_0097_0005__SECT,R_0097_0015__SECT_R_0097_0016__TEMPLES)
      & r_0097_0015__sect_r_0097_0016__temples(R_0097_0015__SECT_R_0097_0016__TEMPLES)
      & has_attrib(R_0097_0015__SECT_R_0097_0016__TEMPLES,R_0097_0012__MORE)
      & r_0097_0012__more(R_0097_0012__MORE)
      & has_r_0097_0013__than(R_0097_0012__MORE,R_0097_0014__3_COMMA_400)
      & has_r_0097_0006__of(R_0097_0003__THE_R_0097_0005__SECT,R_0097_0007__THE_R_0097_0008__RINZAI_R_0097_0009__SCHOOL)
      & has_attrib(R_0097_0003__THE_R_0097_0005__SECT,R_0097_0004__LARGEST)
      & has_arg0(R_0097_0002__IS,R_0097_0001__IT) ) ).