( (IP-MAT (NP-SBJ (PRO You;{you}))
          (BEP;_cat_VePASS_ are;{be})
          (NEG not;{not})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Dn.t_ required;{require})
                      (IP-INF-PRD (TO to;{to})
                                  (ADVP-NIM (ADV even;{even}))
                                  (VB;_Tn_ understand;{understand})
                                  (NP-OB1;{LECTURE} (D the;{the})
                                                    (N lecture;{lecture}))))
          (PUNC .))
  (ID 54_a_stuck_japan))

arc(r_0054_0002__are,r_0054_0004__required,scope).
arc(r_0054_0003__not,r_0054_0002__are,keep_scope).
arc(r_0054_0004__required,r_0054_0001__You,arg1).
arc(r_0054_0004__required,r_0054_0007__understand,prd).
arc(r_0054_0004__required,z_0054_5008___star_,arg0).
arc(r_0054_0007__understand,r_0054_0006__even,nim).
arc(r_0054_0007__understand,r_0054_0008__the_r_0054_0009__lecture,arg1).
arc(r_0054_0007__understand,z_0054_5004,arg0).

fof(formula,axiom,
    ~ ? [R_0054_0001__YOU,R_0054_0006__EVEN,R_0054_0008__THE_R_0054_0009__LECTURE,Z_0054_5004,R_0054_0007__UNDERSTAND,Z_0054_5008___STAR_,R_0054_0002__ARE_R_0054_0004__REQUIRED] :
        ( r_0054_0001__You(R_0054_0001__YOU)
        & r_0054_0006__even(R_0054_0006__EVEN)
        & r_0054_0008__the_r_0054_0009__lecture(R_0054_0008__THE_R_0054_0009__LECTURE)
        & z_0054_5004(Z_0054_5004)
        & z_0054_5008___star_(Z_0054_5008___STAR_)
        & r_0054_0002__are_r_0054_0004__required(R_0054_0002__ARE_R_0054_0004__REQUIRED)
        & has_arg0(R_0054_0002__ARE_R_0054_0004__REQUIRED,Z_0054_5008___STAR_)
        & has_prd(R_0054_0002__ARE_R_0054_0004__REQUIRED,R_0054_0007__UNDERSTAND)
        & r_0054_0007__understand(R_0054_0007__UNDERSTAND)
        & has_arg0(R_0054_0007__UNDERSTAND,Z_0054_5004)
        & has_arg1(R_0054_0007__UNDERSTAND,R_0054_0008__THE_R_0054_0009__LECTURE)
        & has_nim(R_0054_0007__UNDERSTAND,R_0054_0006__EVEN)
        & has_arg1(R_0054_0002__ARE_R_0054_0004__REQUIRED,R_0054_0001__YOU) ) ).