73_a_lob_a01
And, since this is election year in West Germany, Dr Adenauer is in a tough spot.
arc(r_0073_0001__And_r_0073_0014__is, r_0073_0012__Dr_r_0073_0013__Adenauer, arg0).
arc(r_0073_0001__And_r_0073_0014__is, r_0073_0016__a_r_0073_0018__spot, r_0073_0015__in_clr40).
arc(r_0073_0003__since, r_0073_0001__And_r_0073_0014__is, scope).
arc(r_0073_0003__since, r_0073_0005__is, restriction).
arc(r_0073_0005__is, r_0073_0004__this, arg0).
arc(r_0073_0005__is, r_0073_0006__election_r_0073_0007__year, prd).
arc(r_0073_0005__is, r_0073_0009__West_r_0073_0010__Germany, r_0073_0008__in_nim23).
arc(r_0073_0016__a_r_0073_0018__spot, r_0073_0017__tough, attrib43).
fof(formula,axiom,
? [R_73_3_SINCE,R_73_5_IS,R_73_4_THIS,R_73_6_ELECTION_YEAR,R_73_9_WEST_GERMANY,R_73_1_AND_IS,R_73_12_DR_ADENAUER,R_73_16_A_SPOT,R_73_17_TOUGH] :
( this(R_73_4_THIS)
& election_year(R_73_6_ELECTION_YEAR)
& west_Germany(R_73_9_WEST_GERMANY)
& dr_Adenauer(R_73_12_DR_ADENAUER)
& tough(R_73_17_TOUGH)
& since(R_73_3_SINCE)
& conj1(R_73_3_SINCE,R_73_5_IS)
& is(R_73_5_IS,R_73_4_THIS,R_73_6_ELECTION_YEAR)
& in_nim23(R_73_5_IS,R_73_9_WEST_GERMANY)
& conj2(R_73_3_SINCE,R_73_1_AND_IS)
& and_is(R_73_1_AND_IS,R_73_12_DR_ADENAUER)
& in_clr40(R_73_1_AND_IS,R_73_16_A_SPOT)
& a_spot(R_73_16_A_SPOT)
& attrib43(R_73_16_A_SPOT,R_73_17_TOUGH) ) ).
( (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 73_a_lob_a01))