54_a_stuck_japan
You are not required to even understand the lecture.
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_0005__to_r_0054_0007__understand, prd).
arc(r_0054_0004__required, z_000_54_a_stuck_japan_10, arg0).
arc(r_0054_0005__to_r_0054_0007__understand, r_0054_0006__even, nim17).
arc(r_0054_0005__to_r_0054_0007__understand, r_0054_0008__the_r_0054_0009__lecture, arg1).
arc(r_0054_0005__to_r_0054_0007__understand, x_000_54_a_stuck_japan_14, arg0).
fof(formula,axiom,
~ ? [R_54_2_ARE_REQUIRED,Z_54_A_STUCK_JAPAN_10,R_54_1_YOU,R_54_5_TO_UNDERSTAND,X_54_A_STUCK_JAPAN_14,R_54_8_THE_LECTURE,R_54_6_EVEN] :
( you(R_54_1_YOU)
& the_lecture(R_54_8_THE_LECTURE)
& even(R_54_6_EVEN)
& are_required(R_54_2_ARE_REQUIRED,Z_54_A_STUCK_JAPAN_10,R_54_1_YOU,R_54_5_TO_UNDERSTAND)
& to_understand(R_54_5_TO_UNDERSTAND,X_54_A_STUCK_JAPAN_14,R_54_8_THE_LECTURE)
& nim17(R_54_5_TO_UNDERSTAND,R_54_6_EVEN) ) ).
( (IP-MAT (NP-SBJ (PRO You;{you}))
(BEP;_cat_VePASS_ are;{be})
(NEG not;{not})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Cn.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))