TSPC 93_a_lob

93_a_lob_a02
The princess, aged 24, is now studying history at Cambridge, where she is a friend of Prince William of Gloucester.

( (IP-MAT (NP-SBJ;{ELIZABETH} (D The;{the})
                              (N princess;{princess})
                              (PUNC ,)
                              (ADJP (ADJ aged;{aged})
                                    (NP (NUM 24))))
          (PUNC ,)
          (BEP;_cat_Vg_ is;{be})
          (IP-PPL-CAT (ADVP-NIM (ADV now;{now}))
                      (VAG;__ studying;{study})
                      (NP-OB1 (N history;{history}))
                      (PP-NIM (P-ROLE at;{at})
                              (NP (NPR Cambridge;{Cambridge})
                                  (PUNC ,)
                                  (IP-REL (ADVP-NIM (RADV where;{where}))
                                          (NP-SBJ;{ELIZABETH} (PRO she;{she}))
                                          (BEP;_Ln_ is;{be})
                                          (NP-PRD (D a;{a})
                                                  (N friend;{friend})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (N Prince;{prince})
                                                          (NPR William;{William})
                                                          (PP (P-ROLE of;{of})
                                                              (NP (NPR Gloucester;{Gloucester}))))))))))
          (PUNC .))
  (ID 93_a_lob_a02))

arc(r_0093_0001__The_r_0093_0002__princess,r_0093_0004__aged,attrib).
arc(r_0093_0004__aged,r_0093_0005__24,nim).
arc(r_0093_0007__is,r_0093_0009__studying,scope).
arc(r_0093_0009__studying,r_0093_0001__The_r_0093_0002__princess,arg0).
arc(r_0093_0009__studying,r_0093_0008__now,nim).
arc(r_0093_0009__studying,r_0093_0010__history,arg1).
arc(r_0093_0009__studying,r_0093_0012__Cambridge,r_0093_0011__at__nim).
arc(r_0093_0016__is,r_0093_0001__The_r_0093_0002__princess,arg0).
arc(r_0093_0016__is,r_0093_0012__Cambridge,nim).
arc(r_0093_0016__is,r_0093_0017__a_r_0093_0018__friend,prd).
arc(r_0093_0017__a_r_0093_0018__friend,r_0093_0020__Prince_r_0093_0021__William,r_0093_0019__of).
arc(r_0093_0020__Prince_r_0093_0021__William,r_0093_0023__Gloucester,r_0093_0022__of).

fof(formula,axiom,
    ? [R_0093_0005__24,R_0093_0004__AGED,R_0093_0001__THE_R_0093_0002__PRINCESS,R_0093_0008__NOW,R_0093_0010__HISTORY,R_0093_0012__CAMBRIDGE,R_0093_0007__IS_R_0093_0009__STUDYING,R_0093_0023__GLOUCESTER,R_0093_0020__PRINCE_R_0093_0021__WILLIAM,R_0093_0017__A_R_0093_0018__FRIEND,R_0093_0016__IS] :
      ( r_0093_0005__24(R_0093_0005__24)
      & r_0093_0008__now(R_0093_0008__NOW)
      & r_0093_0010__history(R_0093_0010__HISTORY)
      & r_0093_0012__Cambridge(R_0093_0012__CAMBRIDGE)
      & r_0093_0023__Gloucester(R_0093_0023__GLOUCESTER)
      & r_0093_0016__is(R_0093_0016__IS)
      & has_prd(R_0093_0016__IS,R_0093_0017__A_R_0093_0018__FRIEND)
      & r_0093_0017__a_r_0093_0018__friend(R_0093_0017__A_R_0093_0018__FRIEND)
      & has_r_0093_0019__of(R_0093_0017__A_R_0093_0018__FRIEND,R_0093_0020__PRINCE_R_0093_0021__WILLIAM)
      & r_0093_0020__Prince_r_0093_0021__William(R_0093_0020__PRINCE_R_0093_0021__WILLIAM)
      & has_r_0093_0022__of(R_0093_0020__PRINCE_R_0093_0021__WILLIAM,R_0093_0023__GLOUCESTER)
      & has_nim(R_0093_0016__IS,R_0093_0012__CAMBRIDGE)
      & has_arg0(R_0093_0016__IS,R_0093_0001__THE_R_0093_0002__PRINCESS)
      & r_0093_0001__The_r_0093_0002__princess(R_0093_0001__THE_R_0093_0002__PRINCESS)
      & has_attrib(R_0093_0001__THE_R_0093_0002__PRINCESS,R_0093_0004__AGED)
      & r_0093_0004__aged(R_0093_0004__AGED)
      & has_nim(R_0093_0004__AGED,R_0093_0005__24)
      & r_0093_0007__is_r_0093_0009__studying(R_0093_0007__IS_R_0093_0009__STUDYING)
      & has_r_0093_0011__at__nim(R_0093_0007__IS_R_0093_0009__STUDYING,R_0093_0012__CAMBRIDGE)
      & has_arg1(R_0093_0007__IS_R_0093_0009__STUDYING,R_0093_0010__HISTORY)
      & has_nim(R_0093_0007__IS_R_0093_0009__STUDYING,R_0093_0008__NOW)
      & has_arg0(R_0093_0007__IS_R_0093_0009__STUDYING,R_0093_0001__THE_R_0093_0002__PRINCESS) ) ).