93_a_lob_a02
The princess, aged 24, is now studying history at Cambridge, where she is a friend of Prince William of Gloucester.
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).
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) ) ).
( (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))