TSPC 26_a_major

26_a_major_case
Would the Prime Minister like to reconsider the answer he has just given to the House?

( (CP-QUE-MAT (IP-SUB (MD;_cat_Vi_ Would;{will})
                      (NP-SBJ;{JOHNSON} (D the;{the})
                                        (NPR Prime;{Prime})
                                        (NPR Minister;{Minister}))
                      (IP-INF-CAT (VB;_Tt_ like;{like})
                                  (IP-INF-OB1 (TO to;{to})
                                              (VB;__ reconsider;{reconsider})
                                              (NP-OB1 (D the;{the})
                                                      (N answer;{answer})
                                                      (IP-REL (NP-SBJ;{JOHNSON} (PRO he;{he}))
                                                              (HVP;_cat_Ve_ has;{have})
                                                              (IP-PPL-CAT (NP-OB1 *T*)
                                                                          (ADVP-NIM (ADV just;{just}))
                                                                          (VVN;__ given;{give})
                                                                          (PP-NIM (P-ROLE to;{to})
                                                                                  (NP (D the;{the})
                                                                                      (NPR House;{House})))))))))
              (PUNC ?))
  (ID 26_a_major_case))

arc(r_0026_0001__Would,r_0026_0005__like,scope).
arc(r_0026_0005__like,r_0026_0002__the_r_0026_0003__Prime_r_0026_0004__Minister,arg0).
arc(r_0026_0005__like,r_0026_0007__reconsider,arg1).
arc(r_0026_0007__reconsider,r_0026_0002__the_r_0026_0003__Prime_r_0026_0004__Minister,arg0).
arc(r_0026_0007__reconsider,r_0026_0008__the_r_0026_0009__answer,arg1).
arc(r_0026_0011__has,r_0026_0013__given,scope).
arc(r_0026_0013__given,r_0026_0002__the_r_0026_0003__Prime_r_0026_0004__Minister,arg0).
arc(r_0026_0013__given,r_0026_0008__the_r_0026_0009__answer,inv_arg1).
arc(r_0026_0013__given,r_0026_0012__just,nim).
arc(r_0026_0013__given,r_0026_0015__the_r_0026_0016__House,r_0026_0014__to__nim).

fof(formula,axiom,
    ? [R_0026_0002__THE_R_0026_0003__PRIME_R_0026_0004__MINISTER,R_0026_0012__JUST,R_0026_0015__THE_R_0026_0016__HOUSE,R_0026_0011__HAS_R_0026_0013__GIVEN,R_0026_0008__THE_R_0026_0009__ANSWER,R_0026_0007__RECONSIDER,R_0026_0001__WOULD_R_0026_0005__LIKE] :
      ( r_0026_0002__the_r_0026_0003__Prime_r_0026_0004__Minister(R_0026_0002__THE_R_0026_0003__PRIME_R_0026_0004__MINISTER)
      & r_0026_0012__just(R_0026_0012__JUST)
      & r_0026_0015__the_r_0026_0016__House(R_0026_0015__THE_R_0026_0016__HOUSE)
      & r_0026_0001__Would_r_0026_0005__like(R_0026_0001__WOULD_R_0026_0005__LIKE)
      & has_arg1(R_0026_0001__WOULD_R_0026_0005__LIKE,R_0026_0007__RECONSIDER)
      & r_0026_0007__reconsider(R_0026_0007__RECONSIDER)
      & has_arg1(R_0026_0007__RECONSIDER,R_0026_0008__THE_R_0026_0009__ANSWER)
      & r_0026_0008__the_r_0026_0009__answer(R_0026_0008__THE_R_0026_0009__ANSWER)
      & has_inv_arg1(R_0026_0008__THE_R_0026_0009__ANSWER,R_0026_0011__HAS_R_0026_0013__GIVEN)
      & r_0026_0011__has_r_0026_0013__given(R_0026_0011__HAS_R_0026_0013__GIVEN)
      & has_r_0026_0014__to__nim(R_0026_0011__HAS_R_0026_0013__GIVEN,R_0026_0015__THE_R_0026_0016__HOUSE)
      & has_nim(R_0026_0011__HAS_R_0026_0013__GIVEN,R_0026_0012__JUST)
      & has_arg0(R_0026_0011__HAS_R_0026_0013__GIVEN,R_0026_0002__THE_R_0026_0003__PRIME_R_0026_0004__MINISTER)
      & has_arg0(R_0026_0007__RECONSIDER,R_0026_0002__THE_R_0026_0003__PRIME_R_0026_0004__MINISTER)
      & has_arg0(R_0026_0001__WOULD_R_0026_0005__LIKE,R_0026_0002__THE_R_0026_0003__PRIME_R_0026_0004__MINISTER) ) ).