Context                Previous, Next                Top


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_0005__to_r_0054_0007__understand to understand 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_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] r_0054_0006__even even r_0054_0005__to_r_0054_0007__understand->r_0054_0006__even [nim] r_0054_0002__are_r_0054_0004__required are required 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_0001__You You r_0054_0002__are_r_0054_0004__required->r_0054_0001__You [arg1] r_0054_0003__not not r_0054_0003__not->r_0054_0002__are_r_0054_0004__required [keep_scope] 
fof(formula,axiom,
    ~ ? [R_0054_0001__YOU,R_0054_0006__EVEN,R_0054_0008__THE_R_0054_0009__LECTURE,X_000_54_A_STUCK_JAPAN_14,R_0054_0005__TO_R_0054_0007__UNDERSTAND,Z_000_54_A_STUCK_JAPAN_10,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)
        & x_000_54_a_stuck_japan_14(X_000_54_A_STUCK_JAPAN_14)
        & z_000_54_a_stuck_japan_10(Z_000_54_A_STUCK_JAPAN_10)
        & 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_000_54_A_STUCK_JAPAN_10)
        & has_prd(R_0054_0002__ARE_R_0054_0004__REQUIRED,R_0054_0005__TO_R_0054_0007__UNDERSTAND)
        & r_0054_0005__to_r_0054_0007__understand(R_0054_0005__TO_R_0054_0007__UNDERSTAND)
        & has_arg0(R_0054_0005__TO_R_0054_0007__UNDERSTAND,X_000_54_A_STUCK_JAPAN_14)
        & has_arg1(R_0054_0005__TO_R_0054_0007__UNDERSTAND,R_0054_0008__THE_R_0054_0009__LECTURE)
        & has_nim17(R_0054_0005__TO_R_0054_0007__UNDERSTAND,R_0054_0006__EVEN)
        & has_arg1(R_0054_0002__ARE_R_0054_0004__REQUIRED,R_0054_0001__YOU) ) ).


n54_a_stuck_japan n54_a_stuck_japan__1_1_1_1 You n54_a_stuck_japan__1_2_1 are n54_a_stuck_japan__1_3_1 not n54_a_stuck_japan__1_4_1_1 * n54_a_stuck_japan__1_4_2_1 required n54_a_stuck_japan__1_4_3_1_1 to n54_a_stuck_japan__1_4_3_2_1_1 even n54_a_stuck_japan__1_4_3_3_1 understand n54_a_stuck_japan__1_4_3_4_1_1 the n54_a_stuck_japan__1_4_3_4_2_1 lecture n54_a_stuck_japan__1_5_1 . n54_a_stuck_japan__1 IP-MAT n54_a_stuck_japan__1_1 NP-SBJ n54_a_stuck_japan__1->n54_a_stuck_japan__1_1 n54_a_stuck_japan__1_2 BEP;_cat_VePASS_ n54_a_stuck_japan__1->n54_a_stuck_japan__1_2 n54_a_stuck_japan__1_3 NEG n54_a_stuck_japan__1->n54_a_stuck_japan__1_3 n54_a_stuck_japan__1_4 IP-PPL-CAT n54_a_stuck_japan__1->n54_a_stuck_japan__1_4 n54_a_stuck_japan__1_5 PUNC n54_a_stuck_japan__1->n54_a_stuck_japan__1_5 n54_a_stuck_japan__1_1_1 PRO n54_a_stuck_japan__1_1->n54_a_stuck_japan__1_1_1 n54_a_stuck_japan__1_1_1->n54_a_stuck_japan__1_1_1_1 n54_a_stuck_japan__1_2->n54_a_stuck_japan__1_2_1 n54_a_stuck_japan__1_3->n54_a_stuck_japan__1_3_1 n54_a_stuck_japan__1_4_1 NP-LGS n54_a_stuck_japan__1_4->n54_a_stuck_japan__1_4_1 n54_a_stuck_japan__1_4_2 VVN;_Cn.t_ n54_a_stuck_japan__1_4->n54_a_stuck_japan__1_4_2 n54_a_stuck_japan__1_4_3 IP-INF-PRD n54_a_stuck_japan__1_4->n54_a_stuck_japan__1_4_3 n54_a_stuck_japan__1_4_1->n54_a_stuck_japan__1_4_1_1 n54_a_stuck_japan__1_4_2->n54_a_stuck_japan__1_4_2_1 n54_a_stuck_japan__1_4_3_1 TO n54_a_stuck_japan__1_4_3->n54_a_stuck_japan__1_4_3_1 n54_a_stuck_japan__1_4_3_2 ADVP-NIM n54_a_stuck_japan__1_4_3->n54_a_stuck_japan__1_4_3_2 n54_a_stuck_japan__1_4_3_3 VB;_Tn_ n54_a_stuck_japan__1_4_3->n54_a_stuck_japan__1_4_3_3 n54_a_stuck_japan__1_4_3_4 NP-OB1 n54_a_stuck_japan__1_4_3->n54_a_stuck_japan__1_4_3_4 n54_a_stuck_japan__1_4_3_1->n54_a_stuck_japan__1_4_3_1_1 n54_a_stuck_japan__1_4_3_2_1 ADV n54_a_stuck_japan__1_4_3_2->n54_a_stuck_japan__1_4_3_2_1 n54_a_stuck_japan__1_4_3_2_1->n54_a_stuck_japan__1_4_3_2_1_1 n54_a_stuck_japan__1_4_3_3->n54_a_stuck_japan__1_4_3_3_1 n54_a_stuck_japan__1_4_3_4_1 D n54_a_stuck_japan__1_4_3_4->n54_a_stuck_japan__1_4_3_4_1 n54_a_stuck_japan__1_4_3_4_2 N n54_a_stuck_japan__1_4_3_4->n54_a_stuck_japan__1_4_3_4_2 n54_a_stuck_japan__1_4_3_4_1->n54_a_stuck_japan__1_4_3_4_1_1 n54_a_stuck_japan__1_4_3_4_2->n54_a_stuck_japan__1_4_3_4_2_1 n54_a_stuck_japan__1_5->n54_a_stuck_japan__1_5_1 
( (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))