TSPC 18_a_sunglasses

18_a_sunglasses_story
When she arrived in the other country she made sure she got a pair of blue glasses.

( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ;{PERSON} (PRO she;{she}))
                           (VBD;_Ipr_ arrived;{arrive[in]})
                           (PP-CLR (P-ROLE in;{in})
                                   (NP (D the;{the})
                                       (ADJP (ADJ other;{other}))
                                       (N country;{country})))))
          (NP-SBJ;{PERSON} (PRO she;{she}))
          (VBD;_Cf.a_ made;{make})
          (ADJP-PRD (ADJ sure;{sure}))
          (CP-THT-OB1 (IP-SUB (NP-SBJ;{PERSON} (PRO she;{she}))
                              (VBD;_Tn_ got;{get})
                              (NP-OB1 (D a;{a})
                                      (N pair;{pair})
                                      (PP (P-ROLE of;{of})
                                          (NP (ADJP (ADJ blue;{blue}))
                                              (NS glasses;{glass}))))))
          (PUNC .))
  (ID 18_a_sunglasses_story))

arc(r_0018_0001__When,r_0018_0003__arrived_r_0018_0004__in,restriction).
arc(r_0018_0001__When,r_0018_0009__made,scope).
arc(r_0018_0003__arrived_r_0018_0004__in,r_0018_0002__she,arg0).
arc(r_0018_0003__arrived_r_0018_0004__in,r_0018_0005__the_r_0018_0007__country,arg1).
arc(r_0018_0005__the_r_0018_0007__country,r_0018_0006__other,attrib).
arc(r_0018_0009__made,r_0018_0002__she,arg0).
arc(r_0018_0009__made,r_0018_0010__sure,prd).
arc(r_0018_0009__made,r_0018_0012__got,arg1).
arc(r_0018_0012__got,r_0018_0002__she,arg0).
arc(r_0018_0012__got,r_0018_0013__a_r_0018_0014__pair,arg1).
arc(r_0018_0013__a_r_0018_0014__pair,r_0018_0017__glasses,r_0018_0015__of).
arc(r_0018_0017__glasses,r_0018_0016__blue,attrib).

fof(formula,axiom,
    ! [R_0018_0003__ARRIVED_R_0018_0004__IN,R_0018_0002__SHE,R_0018_0006__OTHER,R_0018_0005__THE_R_0018_0007__COUNTRY] :
      ( ( r_0018_0002__she(R_0018_0002__SHE)
        & r_0018_0006__other(R_0018_0006__OTHER)
        & r_0018_0003__arrived_r_0018_0004__in(R_0018_0003__ARRIVED_R_0018_0004__IN)
        & has_arg1(R_0018_0003__ARRIVED_R_0018_0004__IN,R_0018_0005__THE_R_0018_0007__COUNTRY)
        & r_0018_0005__the_r_0018_0007__country(R_0018_0005__THE_R_0018_0007__COUNTRY)
        & has_attrib(R_0018_0005__THE_R_0018_0007__COUNTRY,R_0018_0006__OTHER)
        & has_arg0(R_0018_0003__ARRIVED_R_0018_0004__IN,R_0018_0002__SHE) )
     => ? [R_0018_0010__SURE,R_0018_0016__BLUE,R_0018_0017__GLASSES,R_0018_0013__A_R_0018_0014__PAIR,R_0018_0012__GOT,R_0018_0009__MADE] :
          ( r_0018_0010__sure(R_0018_0010__SURE)
          & r_0018_0016__blue(R_0018_0016__BLUE)
          & r_0018_0009__made(R_0018_0009__MADE)
          & has_arg1(R_0018_0009__MADE,R_0018_0012__GOT)
          & r_0018_0012__got(R_0018_0012__GOT)
          & has_arg1(R_0018_0012__GOT,R_0018_0013__A_R_0018_0014__PAIR)
          & r_0018_0013__a_r_0018_0014__pair(R_0018_0013__A_R_0018_0014__PAIR)
          & has_r_0018_0015__of(R_0018_0013__A_R_0018_0014__PAIR,R_0018_0017__GLASSES)
          & r_0018_0017__glasses(R_0018_0017__GLASSES)
          & has_attrib(R_0018_0017__GLASSES,R_0018_0016__BLUE)
          & has_arg0(R_0018_0012__GOT,R_0018_0002__SHE)
          & has_prd(R_0018_0009__MADE,R_0018_0010__SURE)
          & has_arg0(R_0018_0009__MADE,R_0018_0002__SHE) ) ) ).