TSPC 12_a_potter

12_a_potter_1902
But round the end of a cucumber frame, whom should he meet but Mr. McGregor!

( (CP-QUE-MAT (IP-SUB (CONJ;_cl_ But;{but})
                      (PP-TPC-NIM (P-ROLE round;{round})
                                  (NP (D the;{the})
                                      (N end;{end})
                                      (PP (P-ROLE of;{of})
                                          (NP (D a;{a})
                                              (N cucumber;{cucumber})
                                              (N frame;{frame})))))
                      (PUNC ,)
                      (NP-168 (WPRO whom;{who}))
                      (MD;_cat_Vi_ should;{shall})
                      (NP-SBJ;{PETER} (PRO he;{he}))
                      (IP-INF-CAT (NP-OB1 *ICH*-168)
                                  (VB;_Tn_ meet;{meet}))
                      (PP-NIM (P-ROLE but;{but})
                              (NP;{MRMCG} (N Mr<dot>)
                                          (NPR McGregor;{McGregor}))))
              (PUNC !))
  (ID 12_a_potter_1902))

arc(r_0012_0003__the_r_0012_0004__end,r_0012_0006__a_r_0012_0007__cucumber_r_0012_0008__frame,r_0012_0005__of).
arc(r_0012_0011__should,r_0012_0003__the_r_0012_0004__end,r_0012_0002__round__nim).
arc(r_0012_0011__should,r_0012_0013__meet,scope).
arc(r_0012_0011__should,r_0012_0015__Mr_dot__r_0012_0016__McGregor,r_0012_0014__but__nim).
arc(r_0012_0013__meet,r_0012_0010__whom,arg1).
arc(r_0012_0013__meet,r_0012_0012__he,arg0).

fof(formula,axiom,
    ? [R_0012_0006__A_R_0012_0007__CUCUMBER_R_0012_0008__FRAME,R_0012_0003__THE_R_0012_0004__END,R_0012_0015__MR_DOT__R_0012_0016__MCGREGOR,R_0012_0010__WHOM,R_0012_0012__HE,R_0012_0011__SHOULD_R_0012_0013__MEET] :
      ( r_0012_0006__a_r_0012_0007__cucumber_r_0012_0008__frame(R_0012_0006__A_R_0012_0007__CUCUMBER_R_0012_0008__FRAME)
      & r_0012_0010__whom(R_0012_0010__WHOM)
      & r_0012_0012__he(R_0012_0012__HE)
      & r_0012_0015__Mr_dot__r_0012_0016__McGregor(R_0012_0015__MR_DOT__R_0012_0016__MCGREGOR)
      & r_0012_0011__should_r_0012_0013__meet(R_0012_0011__SHOULD_R_0012_0013__MEET)
      & has_arg0(R_0012_0011__SHOULD_R_0012_0013__MEET,R_0012_0012__HE)
      & has_arg1(R_0012_0011__SHOULD_R_0012_0013__MEET,R_0012_0010__WHOM)
      & has_r_0012_0014__but__nim(R_0012_0011__SHOULD_R_0012_0013__MEET,R_0012_0015__MR_DOT__R_0012_0016__MCGREGOR)
      & has_r_0012_0002__round__nim(R_0012_0011__SHOULD_R_0012_0013__MEET,R_0012_0003__THE_R_0012_0004__END)
      & r_0012_0003__the_r_0012_0004__end(R_0012_0003__THE_R_0012_0004__END)
      & has_r_0012_0005__of(R_0012_0003__THE_R_0012_0004__END,R_0012_0006__A_R_0012_0007__CUCUMBER_R_0012_0008__FRAME) ) ).