TSPC 7_a_fce_0102_2001

7_a_fce_0102_2001_06
Belinda Marriott, a British novelist who writes crime stories, has come to live in our area.

( (IP-MAT (NP-SBJ;{BELINDA} (NPR Belinda;{Belinda})
                            (NPR Marriott;{Marriott})
                            (PUNC ,)
                            (PRN (NP (D a;{a})
                                     (ADJP (ADJ British;{british}))
                                     (N novelist;{novelist})
                                     (IP-REL (NP-SBJ (RPRO who;{who}))
                                             (VBP;_Tn_ writes;{write})
                                             (NP-OB1 (N crime;{crime})
                                                     (NS stories;{story}))))))
          (PUNC ,)
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;_cat_Vt_ come;{come})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;_Ipr_ live;{live[in]})
                                  (PP-CLR (P-ROLE in;{in})
                                          (NP (NP-GEN (PRO;_genm_ our;{our}))
                                              (N area;{area})))))
          (PUNC .))
  (ID 7_a_fce_0102_2001_06))

arc(r_0007_0004__a_r_0007_0006__novelist,r_0007_0005__British,attrib).
arc(r_0007_0008__writes,r_0007_0004__a_r_0007_0006__novelist,arg0).
arc(r_0007_0008__writes,r_0007_0009__crime_r_0007_0010__stories,arg1).
arc(r_0007_0012__has,r_0007_0013__come,scope).
arc(r_0007_0013__come,r_0007_0015__live_r_0007_0016__in,scope).
arc(r_0007_0015__live_r_0007_0016__in,r_0007_0001__Belinda_r_0007_0002__Marriott,arg0).
arc(r_0007_0015__live_r_0007_0016__in,r_0007_0018__area,arg1).
arc(r_0007_0018__area,r_0007_0017__our,gen).
arc(z_0007_5005,r_0007_0001__Belinda_r_0007_0002__Marriott,arg0).
arc(z_0007_5005,r_0007_0004__a_r_0007_0006__novelist,prd).

fof(formula,axiom,
    ? [R_0007_0005__BRITISH,R_0007_0004__A_R_0007_0006__NOVELIST,R_0007_0009__CRIME_R_0007_0010__STORIES,R_0007_0008__WRITES,R_0007_0001__BELINDA_R_0007_0002__MARRIOTT,R_0007_0017__OUR,R_0007_0018__AREA,R_0007_0012__HAS_R_0007_0013__COME_R_0007_0015__LIVE_R_0007_0016__IN,Z_0007_5005] :
      ( r_0007_0001__Belinda_r_0007_0002__Marriott(R_0007_0001__BELINDA_R_0007_0002__MARRIOTT)
      & r_0007_0005__British(R_0007_0005__BRITISH)
      & r_0007_0009__crime_r_0007_0010__stories(R_0007_0009__CRIME_R_0007_0010__STORIES)
      & r_0007_0017__our(R_0007_0017__OUR)
      & z_0007_5005(Z_0007_5005)
      & has_prd(Z_0007_5005,R_0007_0004__A_R_0007_0006__NOVELIST)
      & r_0007_0004__a_r_0007_0006__novelist(R_0007_0004__A_R_0007_0006__NOVELIST)
      & has_attrib(R_0007_0004__A_R_0007_0006__NOVELIST,R_0007_0005__BRITISH)
      & has_arg0(Z_0007_5005,R_0007_0001__BELINDA_R_0007_0002__MARRIOTT)
      & r_0007_0012__has_r_0007_0013__come_r_0007_0015__live_r_0007_0016__in(R_0007_0012__HAS_R_0007_0013__COME_R_0007_0015__LIVE_R_0007_0016__IN)
      & has_arg1(R_0007_0012__HAS_R_0007_0013__COME_R_0007_0015__LIVE_R_0007_0016__IN,R_0007_0018__AREA)
      & r_0007_0018__area(R_0007_0018__AREA)
      & has_gen(R_0007_0018__AREA,R_0007_0017__OUR)
      & has_arg0(R_0007_0012__HAS_R_0007_0013__COME_R_0007_0015__LIVE_R_0007_0016__IN,R_0007_0001__BELINDA_R_0007_0002__MARRIOTT)
      & r_0007_0008__writes(R_0007_0008__WRITES)
      & has_arg1(R_0007_0008__WRITES,R_0007_0009__CRIME_R_0007_0010__STORIES)
      & has_arg0(R_0007_0008__WRITES,R_0007_0004__A_R_0007_0006__NOVELIST) ) ).