( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ;{PERSON} (PRO she;{she}))
                           (VBD;_Ip_ arrived;{arrive[home]})
                           (ADVP-CLR (ADV home;{home}))
                           (PP-NIM (P-ROLE in;{in})
                                   (NP (NP-GEN (NP-GEN;{PERSON} (PRO;_genm_ her;{her}))
                                               (ADJP (ADJ own;{own})))
                                       (N country;{country})))))
          (NP-SBJ;{PERSON} (PRO she;{she}))
          (ILYR (ILYR (VBD;_Ln_ became;{become})
                      (NP-PRD (D an;{an})
                              (N expert;{expert})
                              (PP (P-ROLE on;{on})
                                  (NP (D the;{the})
                                      (ADJP (ADJ other;{other}))
                                      (N country;{country})))))
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV proudly;{proudly}))
                             (VBD;_Dn.f_ told;{tell})
                             (NP-OB2 (D;_nphd_ a_lot;{a_lot})
                                     (PP (P-ROLE of;{of})
                                         (NP (ADJP (ADJ interested;{interested}))
                                             (NS listeners;{listener}))))
                             (CP-THT-OB1 (IP-SUB (C that;{that})
                                                 (NP-SBJ (D the;{the})
                                                         (ADJP (ADJ other;{other}))
                                                         (N culture;{culture}))
                                                 (BED;_La_ was;{be})
                                                 (ADJP-PRD (ADJ green;{green})))))))
          (PUNC .))
  (ID 21_a_sunglasses_story))

arc(r_0021_0001__When,r_0021_0003__arrived_r_0021_0004__home,restriction).
arc(r_0021_0001__When,r_0021_0017__and,scope).
arc(r_0021_0003__arrived_r_0021_0004__home,r_0021_0002__she,arg0).
arc(r_0021_0003__arrived_r_0021_0004__home,r_0021_0008__country,r_0021_0005__in__nim).
arc(r_0021_0008__country,z_0021_5006,gen).
arc(r_0021_0010__became,r_0021_0002__she,arg0).
arc(r_0021_0010__became,r_0021_0011__an_r_0021_0012__expert,prd).
arc(r_0021_0011__an_r_0021_0012__expert,r_0021_0014__the_r_0021_0016__country,r_0021_0013__on).
arc(r_0021_0014__the_r_0021_0016__country,r_0021_0015__other,attrib).
arc(r_0021_0017__and,r_0021_0010__became,conj1).
arc(r_0021_0017__and,r_0021_0019__told,conj2).
arc(r_0021_0019__told,r_0021_0002__she,arg0).
arc(r_0021_0019__told,r_0021_0018__proudly,nim).
arc(r_0021_0019__told,r_0021_0020__a_lot,arg2).
arc(r_0021_0019__told,r_0021_0028__was,arg1).
arc(r_0021_0020__a_lot,r_0021_0023__listeners,r_0021_0021__of).
arc(r_0021_0023__listeners,r_0021_0022__interested,attrib).
arc(r_0021_0025__the_r_0021_0027__culture,r_0021_0026__other,attrib).
arc(r_0021_0028__was,r_0021_0025__the_r_0021_0027__culture,arg0).
arc(r_0021_0028__was,r_0021_0029__green,prd).
arc(z_0021_5006,r_0021_0002__she,gen).
arc(z_0021_5006,r_0021_0007__own,attrib).

fof(formula,axiom,
    ! [R_0021_0003__ARRIVED_R_0021_0004__HOME,R_0021_0002__SHE,R_0021_0007__OWN,Z_0021_5006,R_0021_0008__COUNTRY] :
      ( ( r_0021_0002__she(R_0021_0002__SHE)
        & r_0021_0007__own(R_0021_0007__OWN)
        & r_0021_0003__arrived_r_0021_0004__home(R_0021_0003__ARRIVED_R_0021_0004__HOME)
        & has_r_0021_0005__in__nim(R_0021_0003__ARRIVED_R_0021_0004__HOME,R_0021_0008__COUNTRY)
        & r_0021_0008__country(R_0021_0008__COUNTRY)
        & has_gen(R_0021_0008__COUNTRY,Z_0021_5006)
        & z_0021_5006(Z_0021_5006)
        & has_attrib(Z_0021_5006,R_0021_0007__OWN)
        & has_gen(Z_0021_5006,R_0021_0002__SHE)
        & has_arg0(R_0021_0003__ARRIVED_R_0021_0004__HOME,R_0021_0002__SHE) )
     => ? [R_0021_0015__OTHER,R_0021_0014__THE_R_0021_0016__COUNTRY,R_0021_0011__AN_R_0021_0012__EXPERT,R_0021_0010__BECAME,R_0021_0018__PROUDLY,R_0021_0022__INTERESTED,R_0021_0023__LISTENERS,R_0021_0020__A_LOT,R_0021_0026__OTHER,R_0021_0025__THE_R_0021_0027__CULTURE,R_0021_0029__GREEN,R_0021_0028__WAS,R_0021_0019__TOLD,R_0021_0017__AND] :
          ( r_0021_0015__other(R_0021_0015__OTHER)
          & r_0021_0018__proudly(R_0021_0018__PROUDLY)
          & r_0021_0022__interested(R_0021_0022__INTERESTED)
          & r_0021_0026__other(R_0021_0026__OTHER)
          & r_0021_0029__green(R_0021_0029__GREEN)
          & r_0021_0017__and(R_0021_0017__AND)
          & has_conj2(R_0021_0017__AND,R_0021_0019__TOLD)
          & r_0021_0019__told(R_0021_0019__TOLD)
          & has_arg1(R_0021_0019__TOLD,R_0021_0028__WAS)
          & r_0021_0028__was(R_0021_0028__WAS)
          & has_prd(R_0021_0028__WAS,R_0021_0029__GREEN)
          & has_arg0(R_0021_0028__WAS,R_0021_0025__THE_R_0021_0027__CULTURE)
          & r_0021_0025__the_r_0021_0027__culture(R_0021_0025__THE_R_0021_0027__CULTURE)
          & has_attrib(R_0021_0025__THE_R_0021_0027__CULTURE,R_0021_0026__OTHER)
          & has_arg2(R_0021_0019__TOLD,R_0021_0020__A_LOT)
          & r_0021_0020__a_lot(R_0021_0020__A_LOT)
          & has_r_0021_0021__of(R_0021_0020__A_LOT,R_0021_0023__LISTENERS)
          & r_0021_0023__listeners(R_0021_0023__LISTENERS)
          & has_attrib(R_0021_0023__LISTENERS,R_0021_0022__INTERESTED)
          & has_nim(R_0021_0019__TOLD,R_0021_0018__PROUDLY)
          & has_arg0(R_0021_0019__TOLD,R_0021_0002__SHE)
          & has_conj1(R_0021_0017__AND,R_0021_0010__BECAME)
          & r_0021_0010__became(R_0021_0010__BECAME)
          & has_prd(R_0021_0010__BECAME,R_0021_0011__AN_R_0021_0012__EXPERT)
          & r_0021_0011__an_r_0021_0012__expert(R_0021_0011__AN_R_0021_0012__EXPERT)
          & has_r_0021_0013__on(R_0021_0011__AN_R_0021_0012__EXPERT,R_0021_0014__THE_R_0021_0016__COUNTRY)
          & r_0021_0014__the_r_0021_0016__country(R_0021_0014__THE_R_0021_0016__COUNTRY)
          & has_attrib(R_0021_0014__THE_R_0021_0016__COUNTRY,R_0021_0015__OTHER)
          & has_arg0(R_0021_0010__BECAME,R_0021_0002__SHE) ) ) ).