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

%3 r_0093_0001__The_r_0093_0002__princess The princess r_0093_0004__aged aged r_0093_0001__The_r_0093_0002__princess->r_0093_0004__aged [attrib] r_0093_0005__24 24 r_0093_0004__aged->r_0093_0005__24 [nim] r_0093_0007__is is r_0093_0009__studying studying r_0093_0007__is->r_0093_0009__studying [scope] r_0093_0009__studying->r_0093_0001__The_r_0093_0002__princess [arg0] r_0093_0008__now now r_0093_0009__studying->r_0093_0008__now [nim] r_0093_0010__history history r_0093_0009__studying->r_0093_0010__history [arg1] r_0093_0012__Cambridge Cambridge r_0093_0009__studying->r_0093_0012__Cambridge at [nim] r_0093_0016__is is r_0093_0016__is->r_0093_0001__The_r_0093_0002__princess [arg0] r_0093_0016__is->r_0093_0012__Cambridge [nim] r_0093_0017__a_r_0093_0018__friend a friend r_0093_0016__is->r_0093_0017__a_r_0093_0018__friend [prd] r_0093_0020__Prince_r_0093_0021__William Prince William r_0093_0017__a_r_0093_0018__friend->r_0093_0020__Prince_r_0093_0021__William of r_0093_0023__Gloucester Gloucester r_0093_0020__Prince_r_0093_0021__William->r_0093_0023__Gloucester of
arc(r_0093_0001__The_r_0093_0002__princess, r_0093_0004__aged, attrib9).
arc(r_0093_0004__aged, r_0093_0005__24, nim12).
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, nim20).
arc(r_0093_0009__studying, r_0093_0010__history, arg1).
arc(r_0093_0009__studying, r_0093_0012__Cambridge, r_0093_0011__at_nim31).
arc(r_0093_0016__is, r_0093_0001__The_r_0093_0002__princess, arg0).
arc(r_0093_0016__is, r_0093_0012__Cambridge, nim37).
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).



%3 r_0093_0020__Prince_r_0093_0021__William Prince William r_0093_0023__Gloucester Gloucester r_0093_0020__Prince_r_0093_0021__William->r_0093_0023__Gloucester of r_0093_0017__a_r_0093_0018__friend a friend r_0093_0017__a_r_0093_0018__friend->r_0093_0020__Prince_r_0093_0021__William of r_0093_0016__is is r_0093_0016__is->r_0093_0017__a_r_0093_0018__friend [prd] r_0093_0012__Cambridge Cambridge r_0093_0016__is->r_0093_0012__Cambridge [nim] r_0093_0001__The_r_0093_0002__princess The princess r_0093_0016__is->r_0093_0001__The_r_0093_0002__princess [arg0] r_0093_0004__aged aged r_0093_0001__The_r_0093_0002__princess->r_0093_0004__aged [attrib] r_0093_0007__is_r_0093_0009__studying is studying r_0093_0007__is_r_0093_0009__studying->r_0093_0012__Cambridge at [nim] r_0093_0007__is_r_0093_0009__studying->r_0093_0001__The_r_0093_0002__princess [arg0] r_0093_0010__history history r_0093_0007__is_r_0093_0009__studying->r_0093_0010__history [arg1] r_0093_0008__now now r_0093_0007__is_r_0093_0009__studying->r_0093_0008__now [nim] r_0093_0005__24 24 r_0093_0004__aged->r_0093_0005__24 [nim]
fof(formula,axiom,
    ? [R_93_7_IS_STUDYING,R_93_10_HISTORY,R_93_8_NOW,R_93_16_IS,R_93_1_THE_PRINCESS,R_93_4_AGED,R_93_5_24,R_93_12_CAMBRIDGE,R_93_17_A_FRIEND,R_93_20_PRINCE_WILLIAM,R_93_23_GLOUCESTER] :
      ( history(R_93_10_HISTORY)
      & now(R_93_8_NOW)
      & 24(R_93_5_24)
      & cambridge(R_93_12_CAMBRIDGE)
      & gloucester(R_93_23_GLOUCESTER)
      & is_studying(R_93_7_IS_STUDYING,R_93_1_THE_PRINCESS,R_93_10_HISTORY)
      & the_princess(R_93_1_THE_PRINCESS)
      & attrib9(R_93_1_THE_PRINCESS,R_93_4_AGED)
      & aged(R_93_4_AGED)
      & nim12(R_93_4_AGED,R_93_5_24)
      & nim20(R_93_7_IS_STUDYING,R_93_8_NOW)
      & at_nim31(R_93_7_IS_STUDYING,R_93_12_CAMBRIDGE)
      & is(R_93_16_IS,R_93_1_THE_PRINCESS,R_93_17_A_FRIEND)
      & a_friend(R_93_17_A_FRIEND)
      & of(R_93_17_A_FRIEND,R_93_20_PRINCE_WILLIAM)
      & prince_William(R_93_20_PRINCE_WILLIAM)
      & of(R_93_20_PRINCE_WILLIAM,R_93_23_GLOUCESTER)
      & nim37(R_93_16_IS,R_93_12_CAMBRIDGE) ) ).



n93_a_lob_a02 n93_a_lob_a02__1_1_1_1 The n93_a_lob_a02__1_1_2_1 princess n93_a_lob_a02__1_1_3_1 , n93_a_lob_a02__1_1_4_1_1 aged n93_a_lob_a02__1_1_4_2_1_1 24 n93_a_lob_a02__1_2_1 , n93_a_lob_a02__1_3_1 is n93_a_lob_a02__1_4_1_1_1 now n93_a_lob_a02__1_4_2_1 studying n93_a_lob_a02__1_4_3_1_1 history n93_a_lob_a02__1_4_4_1_1 at n93_a_lob_a02__1_4_4_2_1_1 Cambridge n93_a_lob_a02__1_4_4_2_2_1 , n93_a_lob_a02__1_4_4_2_3_1_1_1 where n93_a_lob_a02__1_4_4_2_3_2_1_1 she n93_a_lob_a02__1_4_4_2_3_3_1 is n93_a_lob_a02__1_4_4_2_3_4_1_1 a n93_a_lob_a02__1_4_4_2_3_4_2_1 friend n93_a_lob_a02__1_4_4_2_3_4_3_1_1 of n93_a_lob_a02__1_4_4_2_3_4_3_2_1_1 Prince n93_a_lob_a02__1_4_4_2_3_4_3_2_2_1 William n93_a_lob_a02__1_4_4_2_3_4_3_2_3_1_1 of n93_a_lob_a02__1_4_4_2_3_4_3_2_3_2_1_1 Gloucester n93_a_lob_a02__1_5_1 . n93_a_lob_a02__1 IP-MAT n93_a_lob_a02__1_1 NP-SBJ n93_a_lob_a02__1->n93_a_lob_a02__1_1 n93_a_lob_a02__1_2 PUNC n93_a_lob_a02__1->n93_a_lob_a02__1_2 n93_a_lob_a02__1_3 BEP;_cat_Vg_ n93_a_lob_a02__1->n93_a_lob_a02__1_3 n93_a_lob_a02__1_4 IP-PPL-CAT n93_a_lob_a02__1->n93_a_lob_a02__1_4 n93_a_lob_a02__1_5 PUNC n93_a_lob_a02__1->n93_a_lob_a02__1_5 n93_a_lob_a02__1_1_1 D n93_a_lob_a02__1_1->n93_a_lob_a02__1_1_1 n93_a_lob_a02__1_1_2 N n93_a_lob_a02__1_1->n93_a_lob_a02__1_1_2 n93_a_lob_a02__1_1_3 PUNC n93_a_lob_a02__1_1->n93_a_lob_a02__1_1_3 n93_a_lob_a02__1_1_4 ADJP n93_a_lob_a02__1_1->n93_a_lob_a02__1_1_4 n93_a_lob_a02__1_1_1->n93_a_lob_a02__1_1_1_1 n93_a_lob_a02__1_1_2->n93_a_lob_a02__1_1_2_1 n93_a_lob_a02__1_1_3->n93_a_lob_a02__1_1_3_1 n93_a_lob_a02__1_1_4_1 ADJ n93_a_lob_a02__1_1_4->n93_a_lob_a02__1_1_4_1 n93_a_lob_a02__1_1_4_2 NP n93_a_lob_a02__1_1_4->n93_a_lob_a02__1_1_4_2 n93_a_lob_a02__1_1_4_1->n93_a_lob_a02__1_1_4_1_1 n93_a_lob_a02__1_1_4_2_1 NUM n93_a_lob_a02__1_1_4_2->n93_a_lob_a02__1_1_4_2_1 n93_a_lob_a02__1_1_4_2_1->n93_a_lob_a02__1_1_4_2_1_1 n93_a_lob_a02__1_2->n93_a_lob_a02__1_2_1 n93_a_lob_a02__1_3->n93_a_lob_a02__1_3_1 n93_a_lob_a02__1_4_1 ADVP-NIM n93_a_lob_a02__1_4->n93_a_lob_a02__1_4_1 n93_a_lob_a02__1_4_2 VAG;__ n93_a_lob_a02__1_4->n93_a_lob_a02__1_4_2 n93_a_lob_a02__1_4_3 NP-OB1 n93_a_lob_a02__1_4->n93_a_lob_a02__1_4_3 n93_a_lob_a02__1_4_4 PP-NIM n93_a_lob_a02__1_4->n93_a_lob_a02__1_4_4 n93_a_lob_a02__1_4_1_1 ADV n93_a_lob_a02__1_4_1->n93_a_lob_a02__1_4_1_1 n93_a_lob_a02__1_4_1_1->n93_a_lob_a02__1_4_1_1_1 n93_a_lob_a02__1_4_2->n93_a_lob_a02__1_4_2_1 n93_a_lob_a02__1_4_3_1 N n93_a_lob_a02__1_4_3->n93_a_lob_a02__1_4_3_1 n93_a_lob_a02__1_4_3_1->n93_a_lob_a02__1_4_3_1_1 n93_a_lob_a02__1_4_4_1 P-ROLE n93_a_lob_a02__1_4_4->n93_a_lob_a02__1_4_4_1 n93_a_lob_a02__1_4_4_2 NP n93_a_lob_a02__1_4_4->n93_a_lob_a02__1_4_4_2 n93_a_lob_a02__1_4_4_1->n93_a_lob_a02__1_4_4_1_1 n93_a_lob_a02__1_4_4_2_1 NPR n93_a_lob_a02__1_4_4_2->n93_a_lob_a02__1_4_4_2_1 n93_a_lob_a02__1_4_4_2_2 PUNC n93_a_lob_a02__1_4_4_2->n93_a_lob_a02__1_4_4_2_2 n93_a_lob_a02__1_4_4_2_3 IP-REL n93_a_lob_a02__1_4_4_2->n93_a_lob_a02__1_4_4_2_3 n93_a_lob_a02__1_4_4_2_1->n93_a_lob_a02__1_4_4_2_1_1 n93_a_lob_a02__1_4_4_2_2->n93_a_lob_a02__1_4_4_2_2_1 n93_a_lob_a02__1_4_4_2_3_1 ADVP-NIM n93_a_lob_a02__1_4_4_2_3->n93_a_lob_a02__1_4_4_2_3_1 n93_a_lob_a02__1_4_4_2_3_2 NP-SBJ n93_a_lob_a02__1_4_4_2_3->n93_a_lob_a02__1_4_4_2_3_2 n93_a_lob_a02__1_4_4_2_3_3 BEP;_Ln_ n93_a_lob_a02__1_4_4_2_3->n93_a_lob_a02__1_4_4_2_3_3 n93_a_lob_a02__1_4_4_2_3_4 NP-PRD n93_a_lob_a02__1_4_4_2_3->n93_a_lob_a02__1_4_4_2_3_4 n93_a_lob_a02__1_4_4_2_3_1_1 RADV n93_a_lob_a02__1_4_4_2_3_1->n93_a_lob_a02__1_4_4_2_3_1_1 n93_a_lob_a02__1_4_4_2_3_1_1->n93_a_lob_a02__1_4_4_2_3_1_1_1 n93_a_lob_a02__1_4_4_2_3_2_1 PRO n93_a_lob_a02__1_4_4_2_3_2->n93_a_lob_a02__1_4_4_2_3_2_1 n93_a_lob_a02__1_4_4_2_3_2_1->n93_a_lob_a02__1_4_4_2_3_2_1_1 n93_a_lob_a02__1_4_4_2_3_3->n93_a_lob_a02__1_4_4_2_3_3_1 n93_a_lob_a02__1_4_4_2_3_4_1 D n93_a_lob_a02__1_4_4_2_3_4->n93_a_lob_a02__1_4_4_2_3_4_1 n93_a_lob_a02__1_4_4_2_3_4_2 N n93_a_lob_a02__1_4_4_2_3_4->n93_a_lob_a02__1_4_4_2_3_4_2 n93_a_lob_a02__1_4_4_2_3_4_3 PP n93_a_lob_a02__1_4_4_2_3_4->n93_a_lob_a02__1_4_4_2_3_4_3 n93_a_lob_a02__1_4_4_2_3_4_1->n93_a_lob_a02__1_4_4_2_3_4_1_1 n93_a_lob_a02__1_4_4_2_3_4_2->n93_a_lob_a02__1_4_4_2_3_4_2_1 n93_a_lob_a02__1_4_4_2_3_4_3_1 P-ROLE n93_a_lob_a02__1_4_4_2_3_4_3->n93_a_lob_a02__1_4_4_2_3_4_3_1 n93_a_lob_a02__1_4_4_2_3_4_3_2 NP n93_a_lob_a02__1_4_4_2_3_4_3->n93_a_lob_a02__1_4_4_2_3_4_3_2 n93_a_lob_a02__1_4_4_2_3_4_3_1->n93_a_lob_a02__1_4_4_2_3_4_3_1_1 n93_a_lob_a02__1_4_4_2_3_4_3_2_1 N n93_a_lob_a02__1_4_4_2_3_4_3_2->n93_a_lob_a02__1_4_4_2_3_4_3_2_1 n93_a_lob_a02__1_4_4_2_3_4_3_2_2 NPR n93_a_lob_a02__1_4_4_2_3_4_3_2->n93_a_lob_a02__1_4_4_2_3_4_3_2_2 n93_a_lob_a02__1_4_4_2_3_4_3_2_3 PP n93_a_lob_a02__1_4_4_2_3_4_3_2->n93_a_lob_a02__1_4_4_2_3_4_3_2_3 n93_a_lob_a02__1_4_4_2_3_4_3_2_1->n93_a_lob_a02__1_4_4_2_3_4_3_2_1_1 n93_a_lob_a02__1_4_4_2_3_4_3_2_2->n93_a_lob_a02__1_4_4_2_3_4_3_2_2_1 n93_a_lob_a02__1_4_4_2_3_4_3_2_3_1 P-ROLE n93_a_lob_a02__1_4_4_2_3_4_3_2_3->n93_a_lob_a02__1_4_4_2_3_4_3_2_3_1 n93_a_lob_a02__1_4_4_2_3_4_3_2_3_2 NP n93_a_lob_a02__1_4_4_2_3_4_3_2_3->n93_a_lob_a02__1_4_4_2_3_4_3_2_3_2 n93_a_lob_a02__1_4_4_2_3_4_3_2_3_1->n93_a_lob_a02__1_4_4_2_3_4_3_2_3_1_1 n93_a_lob_a02__1_4_4_2_3_4_3_2_3_2_1 NPR n93_a_lob_a02__1_4_4_2_3_4_3_2_3_2->n93_a_lob_a02__1_4_4_2_3_4_3_2_3_2_1 n93_a_lob_a02__1_4_4_2_3_4_3_2_3_2_1->n93_a_lob_a02__1_4_4_2_3_4_3_2_3_2_1_1 n93_a_lob_a02__1_5->n93_a_lob_a02__1_5_1
( (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))