TSPC 75_a_lob

75_a_lob_a01
And, since this is election year in West Germany, Dr Adenauer is in a tough spot.

( (IP-MAT (CONJ;_cl_ And;{and})
          (PUNC ,)
          (PP-SCON (P-CONN since;{since})
                   (IP-ADV (NP-SBJ (D;_nphd_ this;{this}))
                           (BEP;_Ln_ is;{be})
                           (NP-PRD (N election;{election})
                                   (N year;{year}))
                           (PP-NIM (P-ROLE in;{in})
                                   (NP (NPR West;{West})
                                       (NPR Germany;{Germany})))))
          (PUNC ,)
          (NP-SBJ (N Dr;{dr})
                  (NPR Adenauer;{Adenauer}))
          (BEP;_Ipr_ is;{be[in]})
          (PP-CLR (P-ROLE in;{in})
                  (NP (D a;{a})
                      (ADJP (ADJ tough;{tough}))
                      (N spot;{spot})))
          (PUNC .))
  (ID 75_a_lob_a01))

arc(r_0075_0003__since,r_0075_0005__is,restriction).
arc(r_0075_0003__since,r_0075_0014__is_r_0075_0015__in,scope).
arc(r_0075_0005__is,r_0075_0004__this,arg0).
arc(r_0075_0005__is,r_0075_0006__election_r_0075_0007__year,prd).
arc(r_0075_0005__is,r_0075_0009__West_r_0075_0010__Germany,r_0075_0008__in__nim).
arc(r_0075_0014__is_r_0075_0015__in,r_0075_0012__Dr_r_0075_0013__Adenauer,arg0).
arc(r_0075_0014__is_r_0075_0015__in,r_0075_0016__a_r_0075_0018__spot,arg1).
arc(r_0075_0016__a_r_0075_0018__spot,r_0075_0017__tough,attrib).

fof(formula,axiom,
    ? [R_0075_0004__THIS,R_0075_0006__ELECTION_R_0075_0007__YEAR,R_0075_0009__WEST_R_0075_0010__GERMANY,R_0075_0005__IS,R_0075_0012__DR_R_0075_0013__ADENAUER,R_0075_0017__TOUGH,R_0075_0016__A_R_0075_0018__SPOT,R_0075_0014__IS_R_0075_0015__IN,R_0075_0003__SINCE] :
      ( r_0075_0004__this(R_0075_0004__THIS)
      & r_0075_0006__election_r_0075_0007__year(R_0075_0006__ELECTION_R_0075_0007__YEAR)
      & r_0075_0009__West_r_0075_0010__Germany(R_0075_0009__WEST_R_0075_0010__GERMANY)
      & r_0075_0012__Dr_r_0075_0013__Adenauer(R_0075_0012__DR_R_0075_0013__ADENAUER)
      & r_0075_0017__tough(R_0075_0017__TOUGH)
      & r_0075_0003__since(R_0075_0003__SINCE)
      & has_conj2(R_0075_0003__SINCE,R_0075_0014__IS_R_0075_0015__IN)
      & r_0075_0014__is_r_0075_0015__in(R_0075_0014__IS_R_0075_0015__IN)
      & has_arg1(R_0075_0014__IS_R_0075_0015__IN,R_0075_0016__A_R_0075_0018__SPOT)
      & r_0075_0016__a_r_0075_0018__spot(R_0075_0016__A_R_0075_0018__SPOT)
      & has_attrib(R_0075_0016__A_R_0075_0018__SPOT,R_0075_0017__TOUGH)
      & has_arg0(R_0075_0014__IS_R_0075_0015__IN,R_0075_0012__DR_R_0075_0013__ADENAUER)
      & has_conj1(R_0075_0003__SINCE,R_0075_0005__IS)
      & r_0075_0005__is(R_0075_0005__IS)
      & has_r_0075_0008__in__nim(R_0075_0005__IS,R_0075_0009__WEST_R_0075_0010__GERMANY)
      & has_prd(R_0075_0005__IS,R_0075_0006__ELECTION_R_0075_0007__YEAR)
      & has_arg0(R_0075_0005__IS,R_0075_0004__THIS) ) ).