TSPC 91_a_lob

91_a_lob_a02
A royal welcome for the Kabaka of Buganda (King Freddie) from Princess Elizabeth Bagaya of Toro, kneeling at the foot of his airliner's steps at London Airport yesterday.

arc(r_0091_0001__A_r_0091_0003__welcome, r_0091_0002__royal, attrib5).
arc(r_0091_0001__A_r_0091_0003__welcome, r_0091_0005__the_r_0091_0006__Kabaka, r_0091_0004__for).
arc(r_0091_0001__A_r_0091_0003__welcome, r_0091_0014__Princess_r_0091_0015__Elizabeth_r_0091_0016__Bagaya, r_0091_0013__from).
arc(r_0091_0005__the_r_0091_0006__Kabaka, r_0091_0008__Buganda, r_0091_0007__of).
arc(r_0091_0014__Princess_r_0091_0015__Elizabeth_r_0091_0016__Bagaya, r_0091_0018__Toro, r_0091_0017__of).
arc(r_0091_0020__kneeling, r_0091_0014__Princess_r_0091_0015__Elizabeth_r_0091_0016__Bagaya, arg0).
arc(r_0091_0020__kneeling, r_0091_0022__the_r_0091_0023__foot, r_0091_0021__at_nim58).
arc(r_0091_0020__kneeling, r_0091_0030__London_r_0091_0031__Airport, r_0091_0029__at_nim80).
arc(r_0091_0020__kneeling, r_0091_0032__yesterday, nim85).
arc(r_0091_0022__the_r_0091_0023__foot, r_0091_0028__steps, r_0091_0024__of).
arc(r_0091_0026__airliner_r_0091_0027___apos_s, r_0091_0025__his, gen).
arc(r_0091_0028__steps, r_0091_0026__airliner_r_0091_0027___apos_s, gen).
arc(z_000_91_a_lob_a02_1, r_0091_0001__A_r_0091_0003__welcome, nim2).
arc(z_000_91_a_lob_a02_26, r_0091_0005__the_r_0091_0006__Kabaka, arg0).
arc(z_000_91_a_lob_a02_26, r_0091_0010__King_r_0091_0011__Freddie, prd).

fof(formula,axiom,
    ? [R_0091_0018__TORO,R_0091_0014__PRINCESS_R_0091_0015__ELIZABETH_R_0091_0016__BAGAYA,R_0091_0025__HIS,R_0091_0026__AIRLINER_R_0091_0027___APOS_S,R_0091_0028__STEPS,R_0091_0022__THE_R_0091_0023__FOOT,R_0091_0030__LONDON_R_0091_0031__AIRPORT,R_0091_0032__YESTERDAY,R_0091_0020__KNEELING,R_0091_0002__ROYAL,R_0091_0008__BUGANDA,R_0091_0005__THE_R_0091_0006__KABAKA,R_0091_0001__A_R_0091_0003__WELCOME,Z_000_91_A_LOB_A02_1,R_0091_0010__KING_R_0091_0011__FREDDIE,Z_000_91_A_LOB_A02_26] :
      ( r_0091_0002__royal(R_0091_0002__ROYAL)
      & r_0091_0008__Buganda(R_0091_0008__BUGANDA)
      & r_0091_0010__King_r_0091_0011__Freddie(R_0091_0010__KING_R_0091_0011__FREDDIE)
      & r_0091_0018__Toro(R_0091_0018__TORO)
      & r_0091_0025__his(R_0091_0025__HIS)
      & r_0091_0030__London_r_0091_0031__Airport(R_0091_0030__LONDON_R_0091_0031__AIRPORT)
      & r_0091_0032__yesterday(R_0091_0032__YESTERDAY)
      & z_000_91_a_lob_a02_26(Z_000_91_A_LOB_A02_26)
      & has_prd(Z_000_91_A_LOB_A02_26,R_0091_0010__KING_R_0091_0011__FREDDIE)
      & has_arg0(Z_000_91_A_LOB_A02_26,R_0091_0005__THE_R_0091_0006__KABAKA)
      & r_0091_0005__the_r_0091_0006__Kabaka(R_0091_0005__THE_R_0091_0006__KABAKA)
      & has_r_0091_0007__of(R_0091_0005__THE_R_0091_0006__KABAKA,R_0091_0008__BUGANDA)
      & z_000_91_a_lob_a02_1(Z_000_91_A_LOB_A02_1)
      & has_nim2(Z_000_91_A_LOB_A02_1,R_0091_0001__A_R_0091_0003__WELCOME)
      & r_0091_0001__A_r_0091_0003__welcome(R_0091_0001__A_R_0091_0003__WELCOME)
      & has_r_0091_0013__from(R_0091_0001__A_R_0091_0003__WELCOME,R_0091_0014__PRINCESS_R_0091_0015__ELIZABETH_R_0091_0016__BAGAYA)
      & r_0091_0014__Princess_r_0091_0015__Elizabeth_r_0091_0016__Bagaya(R_0091_0014__PRINCESS_R_0091_0015__ELIZABETH_R_0091_0016__BAGAYA)
      & has_r_0091_0017__of(R_0091_0014__PRINCESS_R_0091_0015__ELIZABETH_R_0091_0016__BAGAYA,R_0091_0018__TORO)
      & has_r_0091_0004__for(R_0091_0001__A_R_0091_0003__WELCOME,R_0091_0005__THE_R_0091_0006__KABAKA)
      & has_attrib5(R_0091_0001__A_R_0091_0003__WELCOME,R_0091_0002__ROYAL)
      & r_0091_0020__kneeling(R_0091_0020__KNEELING)
      & has_nim85(R_0091_0020__KNEELING,R_0091_0032__YESTERDAY)
      & has_r_0091_0029__at_nim80(R_0091_0020__KNEELING,R_0091_0030__LONDON_R_0091_0031__AIRPORT)
      & has_r_0091_0021__at_nim58(R_0091_0020__KNEELING,R_0091_0022__THE_R_0091_0023__FOOT)
      & r_0091_0022__the_r_0091_0023__foot(R_0091_0022__THE_R_0091_0023__FOOT)
      & has_r_0091_0024__of(R_0091_0022__THE_R_0091_0023__FOOT,R_0091_0028__STEPS)
      & r_0091_0028__steps(R_0091_0028__STEPS)
      & has_gen(R_0091_0028__STEPS,R_0091_0026__AIRLINER_R_0091_0027___APOS_S)
      & r_0091_0026__airliner_r_0091_0027___apos_s(R_0091_0026__AIRLINER_R_0091_0027___APOS_S)
      & has_gen(R_0091_0026__AIRLINER_R_0091_0027___APOS_S,R_0091_0025__HIS)
      & has_arg0(R_0091_0020__KNEELING,R_0091_0014__PRINCESS_R_0091_0015__ELIZABETH_R_0091_0016__BAGAYA) ) ).

( (FRAG (NP (D A;{a})
            (ADJP (ADJ royal;{royal}))
            (N welcome;{welcome})
            (PP (P-ROLE for;{for})
                (NP;{FREDDIE} (D the;{the})
                              (N Kabaka;{kabaka})
                              (PP (P-ROLE of;{of})
                                  (NP (NPR Buganda;{Buganda})))
                              (PULB -LRB-)
                              (IP-PPL (NP-PRD (NPR King;{King})
                                              (NPR Freddie;{Freddie})))
                              (PURB -RRB-)))
            (PP (P-ROLE from;{from})
                (NP;{ELIZABETH} (N Princess;{princess})
                                (NPR Elizabeth;{Elizabeth})
                                (NPR Bagaya;{Bagaya})
                                (PP (P-ROLE of;{of})
                                    (NP (NPR Toro;{Toro})))
                                (PUNC ,)
                                (IP-PPL (VAG;__ kneeling;{kneel})
                                        (PP-NIM (P-ROLE at;{at})
                                                (NP (D the;{the})
                                                    (N foot;{foot})
                                                    (PP (P-ROLE of;{of})
                                                        (NP (NP-GEN (NP-GEN;{FREDDIE} (PRO;_genm_ his;{his}))
                                                                    (N airliner;{airliner})
                                                                    (GENM <apos>s))
                                                            (NS steps;{step})))))
                                        (PP-NIM (P-ROLE at;{at})
                                                (NP (NPR London;{London})
                                                    (N Airport;{airport})))
                                        (ADVP-NIM (ADV yesterday;{yesterday}))))))
        (PUNC .))
  (ID 91_a_lob_a02))