Context                Previous, Next                Top


179_a_ted_talk_11
When I was a student, if you had a degree, you had a job.

%3 r_0179_0001__When When r_0179_0003__was was r_0179_0001__When->r_0179_0003__was [restriction] r_0179_0007__if if r_0179_0001__When->r_0179_0007__if [scope] r_0179_0002__I I r_0179_0003__was->r_0179_0002__I [arg0] r_0179_0004__a_r_0179_0005__student a student r_0179_0003__was->r_0179_0004__a_r_0179_0005__student [prd] r_0179_0009__had had r_0179_0007__if->r_0179_0009__had [restriction] r_0179_0014__had had r_0179_0007__if->r_0179_0014__had [scope] r_0179_0008__you you r_0179_0009__had->r_0179_0008__you [arg0] r_0179_0010__a_r_0179_0011__degree a degree r_0179_0009__had->r_0179_0010__a_r_0179_0011__degree [arg1] r_0179_0014__had->r_0179_0008__you [arg0] r_0179_0015__a_r_0179_0016__job a job r_0179_0014__had->r_0179_0015__a_r_0179_0016__job [arg1] 
arc(r_0179_0001__When, r_0179_0003__was, restriction).
arc(r_0179_0001__When, r_0179_0007__if, scope).
arc(r_0179_0003__was, r_0179_0002__I, arg0).
arc(r_0179_0003__was, r_0179_0004__a_r_0179_0005__student, prd).
arc(r_0179_0007__if, r_0179_0009__had, restriction).
arc(r_0179_0007__if, r_0179_0014__had, scope).
arc(r_0179_0009__had, r_0179_0008__you, arg0).
arc(r_0179_0009__had, r_0179_0010__a_r_0179_0011__degree, arg1).
arc(r_0179_0014__had, r_0179_0008__you, arg0).
arc(r_0179_0014__had, r_0179_0015__a_r_0179_0016__job, arg1).


%3 r_0179_0001__When When r_0179_0003__was was r_0179_0001__When->r_0179_0003__was [restriction] r_0179_0007__if if r_0179_0001__When->r_0179_0007__if [scope] r_0179_0002__I I r_0179_0003__was->r_0179_0002__I [arg0] r_0179_0004__a_r_0179_0005__student a student r_0179_0003__was->r_0179_0004__a_r_0179_0005__student [prd] r_0179_0009__had had r_0179_0007__if->r_0179_0009__had [restriction] r_0179_0014__had had r_0179_0007__if->r_0179_0014__had [scope] r_0179_0008__you you r_0179_0009__had->r_0179_0008__you [arg0] r_0179_0010__a_r_0179_0011__degree a degree r_0179_0009__had->r_0179_0010__a_r_0179_0011__degree [arg1] r_0179_0014__had->r_0179_0008__you [arg0] r_0179_0015__a_r_0179_0016__job a job r_0179_0014__had->r_0179_0015__a_r_0179_0016__job [arg1] 
fof(formula,axiom,
    ! [R_179_3_WAS,R_179_2_I,R_179_4_A_STUDENT] :
      ( ( i(R_179_2_I)
        & a_student(R_179_4_A_STUDENT)
        & was(R_179_3_WAS,R_179_2_I,R_179_4_A_STUDENT) )
     => ! [R_179_9_HAD,R_179_8_YOU,R_179_10_A_DEGREE] :
          ( ( you(R_179_8_YOU)
            & a_degree(R_179_10_A_DEGREE)
            & had(R_179_9_HAD,R_179_8_YOU,R_179_10_A_DEGREE) )
         => ? [R_179_14_HAD,R_179_15_A_JOB] :
              ( a_job(R_179_15_A_JOB)
              & had(R_179_14_HAD,R_179_8_YOU,R_179_15_A_JOB) ) ) ) ).


n179_a_ted_talk_11 n179_a_ted_talk_11_4 When n179_a_ted_talk_11_8 I n179_a_ted_talk_11_10 was n179_a_ted_talk_11_13 a n179_a_ted_talk_11_15 student n179_a_ted_talk_11_17 , n179_a_ted_talk_11_20 if n179_a_ted_talk_11_24 you n179_a_ted_talk_11_26 had n179_a_ted_talk_11_29 a n179_a_ted_talk_11_31 degree n179_a_ted_talk_11_33 , n179_a_ted_talk_11_36 you n179_a_ted_talk_11_38 had n179_a_ted_talk_11_41 a n179_a_ted_talk_11_43 job n179_a_ted_talk_11_45 . n179_a_ted_talk_11_1 IP-MAT n179_a_ted_talk_11_2 PP-SCON n179_a_ted_talk_11_1->n179_a_ted_talk_11_2 n179_a_ted_talk_11_16 PUNC n179_a_ted_talk_11_1->n179_a_ted_talk_11_16 n179_a_ted_talk_11_18 PP-SCON n179_a_ted_talk_11_1->n179_a_ted_talk_11_18 n179_a_ted_talk_11_32 PUNC n179_a_ted_talk_11_1->n179_a_ted_talk_11_32 n179_a_ted_talk_11_34 NP-SBJ n179_a_ted_talk_11_1->n179_a_ted_talk_11_34 n179_a_ted_talk_11_37 HVD;_Tn_ n179_a_ted_talk_11_1->n179_a_ted_talk_11_37 n179_a_ted_talk_11_39 NP-OB1 n179_a_ted_talk_11_1->n179_a_ted_talk_11_39 n179_a_ted_talk_11_44 PUNC n179_a_ted_talk_11_1->n179_a_ted_talk_11_44 n179_a_ted_talk_11_3 P-CONN n179_a_ted_talk_11_2->n179_a_ted_talk_11_3 n179_a_ted_talk_11_5 IP-ADV n179_a_ted_talk_11_2->n179_a_ted_talk_11_5 n179_a_ted_talk_11_3->n179_a_ted_talk_11_4 n179_a_ted_talk_11_6 NP-SBJ n179_a_ted_talk_11_5->n179_a_ted_talk_11_6 n179_a_ted_talk_11_9 BED;_Ln_ n179_a_ted_talk_11_5->n179_a_ted_talk_11_9 n179_a_ted_talk_11_11 NP-PRD n179_a_ted_talk_11_5->n179_a_ted_talk_11_11 n179_a_ted_talk_11_7 PRO n179_a_ted_talk_11_6->n179_a_ted_talk_11_7 n179_a_ted_talk_11_7->n179_a_ted_talk_11_8 n179_a_ted_talk_11_9->n179_a_ted_talk_11_10 n179_a_ted_talk_11_12 D n179_a_ted_talk_11_11->n179_a_ted_talk_11_12 n179_a_ted_talk_11_14 N n179_a_ted_talk_11_11->n179_a_ted_talk_11_14 n179_a_ted_talk_11_12->n179_a_ted_talk_11_13 n179_a_ted_talk_11_14->n179_a_ted_talk_11_15 n179_a_ted_talk_11_16->n179_a_ted_talk_11_17 n179_a_ted_talk_11_19 P-CONN n179_a_ted_talk_11_18->n179_a_ted_talk_11_19 n179_a_ted_talk_11_21 IP-ADV n179_a_ted_talk_11_18->n179_a_ted_talk_11_21 n179_a_ted_talk_11_19->n179_a_ted_talk_11_20 n179_a_ted_talk_11_22 NP-SBJ n179_a_ted_talk_11_21->n179_a_ted_talk_11_22 n179_a_ted_talk_11_25 HVD;_Tn_ n179_a_ted_talk_11_21->n179_a_ted_talk_11_25 n179_a_ted_talk_11_27 NP-OB1 n179_a_ted_talk_11_21->n179_a_ted_talk_11_27 n179_a_ted_talk_11_23 PRO n179_a_ted_talk_11_22->n179_a_ted_talk_11_23 n179_a_ted_talk_11_23->n179_a_ted_talk_11_24 n179_a_ted_talk_11_25->n179_a_ted_talk_11_26 n179_a_ted_talk_11_28 D n179_a_ted_talk_11_27->n179_a_ted_talk_11_28 n179_a_ted_talk_11_30 N n179_a_ted_talk_11_27->n179_a_ted_talk_11_30 n179_a_ted_talk_11_28->n179_a_ted_talk_11_29 n179_a_ted_talk_11_30->n179_a_ted_talk_11_31 n179_a_ted_talk_11_32->n179_a_ted_talk_11_33 n179_a_ted_talk_11_35 PRO n179_a_ted_talk_11_34->n179_a_ted_talk_11_35 n179_a_ted_talk_11_35->n179_a_ted_talk_11_36 n179_a_ted_talk_11_37->n179_a_ted_talk_11_38 n179_a_ted_talk_11_40 D n179_a_ted_talk_11_39->n179_a_ted_talk_11_40 n179_a_ted_talk_11_42 N n179_a_ted_talk_11_39->n179_a_ted_talk_11_42 n179_a_ted_talk_11_40->n179_a_ted_talk_11_41 n179_a_ted_talk_11_42->n179_a_ted_talk_11_43 n179_a_ted_talk_11_44->n179_a_ted_talk_11_45 
( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (BED;_Ln_ was;{be})
                           (NP-PRD (D a;{a})
                                   (N student;{student}))))
          (PUNC ,)
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (HVD;_Tn_ had;{have})
                           (NP-OB1 (D a;{a})
                                   (N degree;{degree}))))
          (PUNC ,)
          (NP-SBJ (PRO you;{you}))
          (HVD;_Tn_ had;{have})
          (NP-OB1 (D a;{a})
                  (N job;{job}))
          (PUNC .))
  (ID 179_a_ted_talk_11))