TSPC 178_a_ted_talk

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

arc(r_0178_0001__When,r_0178_0003__was,restriction).
arc(r_0178_0001__When,r_0178_0007__if,scope).
arc(r_0178_0003__was,r_0178_0002__I,arg0).
arc(r_0178_0003__was,r_0178_0004__a_r_0178_0005__student,prd).
arc(r_0178_0007__if,r_0178_0009__had,restriction).
arc(r_0178_0007__if,r_0178_0014__had,scope).
arc(r_0178_0009__had,r_0178_0008__you,arg0).
arc(r_0178_0009__had,r_0178_0010__a_r_0178_0011__degree,arg1).
arc(r_0178_0014__had,r_0178_0013__you,arg0).
arc(r_0178_0014__had,r_0178_0015__a_r_0178_0016__job,arg1).

fof(formula,axiom,
    ! [R_0178_0003__WAS,R_0178_0002__I,R_0178_0004__A_R_0178_0005__STUDENT] :
      ( ( r_0178_0002__I(R_0178_0002__I)
        & r_0178_0004__a_r_0178_0005__student(R_0178_0004__A_R_0178_0005__STUDENT)
        & r_0178_0003__was(R_0178_0003__WAS)
        & has_prd(R_0178_0003__WAS,R_0178_0004__A_R_0178_0005__STUDENT)
        & has_arg0(R_0178_0003__WAS,R_0178_0002__I) )
     => ! [R_0178_0009__HAD,R_0178_0008__YOU,R_0178_0010__A_R_0178_0011__DEGREE] :
          ( ( r_0178_0008__you(R_0178_0008__YOU)
            & r_0178_0010__a_r_0178_0011__degree(R_0178_0010__A_R_0178_0011__DEGREE)
            & r_0178_0009__had(R_0178_0009__HAD)
            & has_arg1(R_0178_0009__HAD,R_0178_0010__A_R_0178_0011__DEGREE)
            & has_arg0(R_0178_0009__HAD,R_0178_0008__YOU) )
         => ? [R_0178_0013__YOU,R_0178_0015__A_R_0178_0016__JOB,R_0178_0014__HAD] :
              ( r_0178_0013__you(R_0178_0013__YOU)
              & r_0178_0015__a_r_0178_0016__job(R_0178_0015__A_R_0178_0016__JOB)
              & r_0178_0014__had(R_0178_0014__HAD)
              & has_arg1(R_0178_0014__HAD,R_0178_0015__A_R_0178_0016__JOB)
              & has_arg0(R_0178_0014__HAD,R_0178_0013__YOU) ) ) ) ).