179_a_ted_talk_11
When I was a student, if you had a degree, you had a job.
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).
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) ) ) ) ).
( (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))