TSPC 25_a_lob

25_a_lob_a02
Last year it was the riots in Istanbul, which enlivened the NATO council meeting.

( (IP-MAT (NP-NIM (NUM Last;{last})
                  (N year;{year}))
          (NP-SBJ (PRO it;{it}))
          (BED;_Ln_ was;{be})
          (NP-PRD (D the;{the})
                  (NS riots;{riot})
                  (PP (P-ROLE in;{in})
                      (NP (NPR Istanbul;{Istanbul})))
                  (PUNC ,)
                  (IP-REL (NP-SBJ (RPRO which;{which}))
                          (VBD;_Tn_ enlivened;{enliven})
                          (NP-OB1 (D the;{the})
                                  (ADJP (ADJ NATO;{nato}))
                                  (N council;{council})
                                  (N meeting;{meeting}))))
          (PUNC .))
  (ID 25_a_lob_a02))

arc(r_0025_0004__was,r_0025_0001__Last_r_0025_0002__year,nim).
arc(r_0025_0004__was,r_0025_0003__it,arg0).
arc(r_0025_0004__was,r_0025_0005__the_r_0025_0006__riots,prd).
arc(r_0025_0005__the_r_0025_0006__riots,r_0025_0008__Istanbul,r_0025_0007__in).
arc(r_0025_0011__enlivened,r_0025_0005__the_r_0025_0006__riots,arg0).
arc(r_0025_0011__enlivened,r_0025_0012__the_r_0025_0014__council_r_0025_0015__meeting,arg1).
arc(r_0025_0012__the_r_0025_0014__council_r_0025_0015__meeting,r_0025_0013__NATO,attrib).

fof(formula,axiom,
    ? [R_0025_0001__LAST_R_0025_0002__YEAR,R_0025_0003__IT,R_0025_0008__ISTANBUL,R_0025_0005__THE_R_0025_0006__RIOTS,R_0025_0004__WAS,R_0025_0013__NATO,R_0025_0012__THE_R_0025_0014__COUNCIL_R_0025_0015__MEETING,R_0025_0011__ENLIVENED] :
      ( r_0025_0001__Last_r_0025_0002__year(R_0025_0001__LAST_R_0025_0002__YEAR)
      & r_0025_0003__it(R_0025_0003__IT)
      & r_0025_0008__Istanbul(R_0025_0008__ISTANBUL)
      & r_0025_0013__NATO(R_0025_0013__NATO)
      & r_0025_0011__enlivened(R_0025_0011__ENLIVENED)
      & has_arg1(R_0025_0011__ENLIVENED,R_0025_0012__THE_R_0025_0014__COUNCIL_R_0025_0015__MEETING)
      & r_0025_0012__the_r_0025_0014__council_r_0025_0015__meeting(R_0025_0012__THE_R_0025_0014__COUNCIL_R_0025_0015__MEETING)
      & has_attrib(R_0025_0012__THE_R_0025_0014__COUNCIL_R_0025_0015__MEETING,R_0025_0013__NATO)
      & has_arg0(R_0025_0011__ENLIVENED,R_0025_0005__THE_R_0025_0006__RIOTS)
      & r_0025_0005__the_r_0025_0006__riots(R_0025_0005__THE_R_0025_0006__RIOTS)
      & has_r_0025_0007__in(R_0025_0005__THE_R_0025_0006__RIOTS,R_0025_0008__ISTANBUL)
      & r_0025_0004__was(R_0025_0004__WAS)
      & has_prd(R_0025_0004__WAS,R_0025_0005__THE_R_0025_0006__RIOTS)
      & has_arg0(R_0025_0004__WAS,R_0025_0003__IT)
      & has_nim(R_0025_0004__WAS,R_0025_0001__LAST_R_0025_0002__YEAR) ) ).