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_0179_0003__WAS,R_0179_0002__I,R_0179_0004__A_R_0179_0005__STUDENT] :
( ( r_0179_0002__I(R_0179_0002__I)
& r_0179_0004__a_r_0179_0005__student(R_0179_0004__A_R_0179_0005__STUDENT)
& r_0179_0003__was(R_0179_0003__WAS)
& has_prd(R_0179_0003__WAS,R_0179_0004__A_R_0179_0005__STUDENT)
& has_arg0(R_0179_0003__WAS,R_0179_0002__I) )
=> ! [R_0179_0009__HAD,R_0179_0008__YOU,R_0179_0010__A_R_0179_0011__DEGREE] :
( ( r_0179_0008__you(R_0179_0008__YOU)
& r_0179_0010__a_r_0179_0011__degree(R_0179_0010__A_R_0179_0011__DEGREE)
& r_0179_0009__had(R_0179_0009__HAD)
& has_arg1(R_0179_0009__HAD,R_0179_0010__A_R_0179_0011__DEGREE)
& has_arg0(R_0179_0009__HAD,R_0179_0008__YOU) )
=> ? [R_0179_0015__A_R_0179_0016__JOB,R_0179_0014__HAD] :
( r_0179_0015__a_r_0179_0016__job(R_0179_0015__A_R_0179_0016__JOB)
& r_0179_0014__had(R_0179_0014__HAD)
& has_arg1(R_0179_0014__HAD,R_0179_0015__A_R_0179_0016__JOB)
& has_arg0(R_0179_0014__HAD,R_0179_0008__YOU) ) ) ) ).
( (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))