TSPC 51_a_stuck

51_a_stuck_japan
These “safety” lectures are compulsory for anyone who's had a traffic infraction in the previous five years.

( (IP-MAT (NP-SBJ (D These;{this})
                  (PULQ <ldquo>)
                  (N safety;{safety})
                  (PURQ <rdquo>)
                  (NS lectures;{lecture}))
          (BEP;_La_ are;{be})
          (ADJP-PRD (ADJ compulsory;{compulsory}))
          (PP-NIM (P-ROLE for;{for})
                  (NP (N anyone;{anyone})
                      (IP-REL (NP-SBJ (RPRO who;{who}))
                              (HVP;_cat_Ve_ <apos>s;{have})
                              (IP-PPL-CAT (HVN;_Tn_ had;{have})
                                          (NP-OB1 (D a;{a})
                                                  (N traffic;{traffic})
                                                  (N infraction;{infraction}))
                                          (PP-NIM (P-ROLE in;{in})
                                                  (NP (D the;{the})
                                                      (ADJP (ADJ previous;{previous}))
                                                      (NUM five;{five})
                                                      (NS years;{year})))))))
          (PUNC .))
  (ID 51_a_stuck_japan))

arc(r_0051_0006__are,r_0051_0001__These_r_0051_0003__safety_r_0051_0005__lectures,arg0).
arc(r_0051_0006__are,r_0051_0007__compulsory,prd).
arc(r_0051_0006__are,r_0051_0009__anyone,r_0051_0008__for__nim).
arc(r_0051_0011___apos_s,r_0051_0012__had,scope).
arc(r_0051_0012__had,r_0051_0009__anyone,arg0).
arc(r_0051_0012__had,r_0051_0013__a_r_0051_0014__traffic_r_0051_0015__infraction,arg1).
arc(r_0051_0012__had,r_0051_0017__the_r_0051_0019__five_r_0051_0020__years,r_0051_0016__in__nim).
arc(r_0051_0017__the_r_0051_0019__five_r_0051_0020__years,r_0051_0018__previous,attrib).

fof(formula,axiom,
    ? [R_0051_0001__THESE_R_0051_0003__SAFETY_R_0051_0005__LECTURES,R_0051_0007__COMPULSORY,R_0051_0009__ANYONE,R_0051_0006__ARE,R_0051_0013__A_R_0051_0014__TRAFFIC_R_0051_0015__INFRACTION,R_0051_0018__PREVIOUS,R_0051_0017__THE_R_0051_0019__FIVE_R_0051_0020__YEARS,R_0051_0011___APOS_S_R_0051_0012__HAD] :
      ( r_0051_0001__These_r_0051_0003__safety_r_0051_0005__lectures(R_0051_0001__THESE_R_0051_0003__SAFETY_R_0051_0005__LECTURES)
      & r_0051_0007__compulsory(R_0051_0007__COMPULSORY)
      & r_0051_0009__anyone(R_0051_0009__ANYONE)
      & r_0051_0013__a_r_0051_0014__traffic_r_0051_0015__infraction(R_0051_0013__A_R_0051_0014__TRAFFIC_R_0051_0015__INFRACTION)
      & r_0051_0018__previous(R_0051_0018__PREVIOUS)
      & r_0051_0011___apos_s_r_0051_0012__had(R_0051_0011___APOS_S_R_0051_0012__HAD)
      & has_r_0051_0016__in__nim(R_0051_0011___APOS_S_R_0051_0012__HAD,R_0051_0017__THE_R_0051_0019__FIVE_R_0051_0020__YEARS)
      & r_0051_0017__the_r_0051_0019__five_r_0051_0020__years(R_0051_0017__THE_R_0051_0019__FIVE_R_0051_0020__YEARS)
      & has_attrib(R_0051_0017__THE_R_0051_0019__FIVE_R_0051_0020__YEARS,R_0051_0018__PREVIOUS)
      & has_arg1(R_0051_0011___APOS_S_R_0051_0012__HAD,R_0051_0013__A_R_0051_0014__TRAFFIC_R_0051_0015__INFRACTION)
      & has_arg0(R_0051_0011___APOS_S_R_0051_0012__HAD,R_0051_0009__ANYONE)
      & r_0051_0006__are(R_0051_0006__ARE)
      & has_r_0051_0008__for__nim(R_0051_0006__ARE,R_0051_0009__ANYONE)
      & has_prd(R_0051_0006__ARE,R_0051_0007__COMPULSORY)
      & has_arg0(R_0051_0006__ARE,R_0051_0001__THESE_R_0051_0003__SAFETY_R_0051_0005__LECTURES) ) ).