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.

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_nim21).
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_nim43).
arc(r_0051_0017__the_r_0051_0019__five_r_0051_0020__years, r_0051_0018__previous, attrib46).

fof(formula,axiom,
    ? [R_51_6_ARE,R_51_1_THESE_SAFETY_LECTURES,R_51_7_COMPULSORY,R_51_11__APOS_S_HAD,R_51_9_ANYONE,R_51_13_A_TRAFFIC_INFRACTION,R_51_17_THE_FIVE_YEARS,R_51_18_PREVIOUS] :
      ( these_safety_lectures(R_51_1_THESE_SAFETY_LECTURES)
      & compulsory(R_51_7_COMPULSORY)
      & anyone(R_51_9_ANYONE)
      & a_traffic_infraction(R_51_13_A_TRAFFIC_INFRACTION)
      & previous(R_51_18_PREVIOUS)
      & are(R_51_6_ARE,R_51_1_THESE_SAFETY_LECTURES,R_51_7_COMPULSORY)
      & for_nim21(R_51_6_ARE,R_51_9_ANYONE)
      & _apos_s_had(R_51_11__APOS_S_HAD,R_51_9_ANYONE,R_51_13_A_TRAFFIC_INFRACTION)
      & in_nim43(R_51_11__APOS_S_HAD,R_51_17_THE_FIVE_YEARS)
      & the_five_years(R_51_17_THE_FIVE_YEARS)
      & attrib46(R_51_17_THE_FIVE_YEARS,R_51_18_PREVIOUS) ) ).

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