54_a_stuck_japan
You are not required to even understand the lecture.

%3 r_0054_0002__are are r_0054_0004__required required r_0054_0002__are->r_0054_0004__required [scope] r_0054_0001__You You r_0054_0004__required->r_0054_0001__You [arg1] r_0054_0005__to_r_0054_0007__understand to understand r_0054_0004__required->r_0054_0005__to_r_0054_0007__understand [prd] z_000_54_a_stuck_japan_10 r_0054_0004__required->z_000_54_a_stuck_japan_10 [arg0] r_0054_0003__not not r_0054_0003__not->r_0054_0002__are [keep_scope] r_0054_0006__even even r_0054_0005__to_r_0054_0007__understand->r_0054_0006__even [nim] r_0054_0008__the_r_0054_0009__lecture the lecture r_0054_0005__to_r_0054_0007__understand->r_0054_0008__the_r_0054_0009__lecture [arg1] x_000_54_a_stuck_japan_14 __ r_0054_0005__to_r_0054_0007__understand->x_000_54_a_stuck_japan_14 [arg0]
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).



%3 r_0054_0002__are_r_0054_0004__required are required r_0054_0001__You You r_0054_0002__are_r_0054_0004__required->r_0054_0001__You [arg1] r_0054_0005__to_r_0054_0007__understand to understand r_0054_0002__are_r_0054_0004__required->r_0054_0005__to_r_0054_0007__understand [prd] z_000_54_a_stuck_japan_10 r_0054_0002__are_r_0054_0004__required->z_000_54_a_stuck_japan_10 [arg0] r_0054_0006__even even r_0054_0005__to_r_0054_0007__understand->r_0054_0006__even [nim] r_0054_0008__the_r_0054_0009__lecture the lecture r_0054_0005__to_r_0054_0007__understand->r_0054_0008__the_r_0054_0009__lecture [arg1] x_000_54_a_stuck_japan_14 __ r_0054_0005__to_r_0054_0007__understand->x_000_54_a_stuck_japan_14 [arg0] r_0054_0003__not not r_0054_0003__not->r_0054_0002__are_r_0054_0004__required [keep_scope]
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) ) ).



n54_a_stuck_japan n54_a_stuck_japan_4 You n54_a_stuck_japan_6 are n54_a_stuck_japan_8 not n54_a_stuck_japan_11 * n54_a_stuck_japan_13 required n54_a_stuck_japan_16 to n54_a_stuck_japan_19 even n54_a_stuck_japan_21 understand n54_a_stuck_japan_24 the n54_a_stuck_japan_26 lecture n54_a_stuck_japan_28 . n54_a_stuck_japan_1 IP-MAT n54_a_stuck_japan_2 NP-SBJ n54_a_stuck_japan_1->n54_a_stuck_japan_2 n54_a_stuck_japan_5 BEP;_cat_VePASS_ n54_a_stuck_japan_1->n54_a_stuck_japan_5 n54_a_stuck_japan_7 NEG n54_a_stuck_japan_1->n54_a_stuck_japan_7 n54_a_stuck_japan_9 IP-PPL-CAT n54_a_stuck_japan_1->n54_a_stuck_japan_9 n54_a_stuck_japan_27 PUNC n54_a_stuck_japan_1->n54_a_stuck_japan_27 n54_a_stuck_japan_3 PRO n54_a_stuck_japan_2->n54_a_stuck_japan_3 n54_a_stuck_japan_3->n54_a_stuck_japan_4 n54_a_stuck_japan_5->n54_a_stuck_japan_6 n54_a_stuck_japan_7->n54_a_stuck_japan_8 n54_a_stuck_japan_10 NP-LGS n54_a_stuck_japan_9->n54_a_stuck_japan_10 n54_a_stuck_japan_12 VVN;_Cn.t_ n54_a_stuck_japan_9->n54_a_stuck_japan_12 n54_a_stuck_japan_14 IP-INF-PRD n54_a_stuck_japan_9->n54_a_stuck_japan_14 n54_a_stuck_japan_10->n54_a_stuck_japan_11 n54_a_stuck_japan_12->n54_a_stuck_japan_13 n54_a_stuck_japan_15 TO n54_a_stuck_japan_14->n54_a_stuck_japan_15 n54_a_stuck_japan_17 ADVP-NIM n54_a_stuck_japan_14->n54_a_stuck_japan_17 n54_a_stuck_japan_20 VB;_Tn_ n54_a_stuck_japan_14->n54_a_stuck_japan_20 n54_a_stuck_japan_22 NP-OB1 n54_a_stuck_japan_14->n54_a_stuck_japan_22 n54_a_stuck_japan_15->n54_a_stuck_japan_16 n54_a_stuck_japan_18 ADV n54_a_stuck_japan_17->n54_a_stuck_japan_18 n54_a_stuck_japan_18->n54_a_stuck_japan_19 n54_a_stuck_japan_20->n54_a_stuck_japan_21 n54_a_stuck_japan_23 D n54_a_stuck_japan_22->n54_a_stuck_japan_23 n54_a_stuck_japan_25 N n54_a_stuck_japan_22->n54_a_stuck_japan_25 n54_a_stuck_japan_23->n54_a_stuck_japan_24 n54_a_stuck_japan_25->n54_a_stuck_japan_26 n54_a_stuck_japan_27->n54_a_stuck_japan_28
( (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))