Context                Previous, Next                Top


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

%3 r_0026_0001__Would Would r_0026_0005__like like r_0026_0001__Would->r_0026_0005__like [scope] r_0026_0002__the_r_0026_0003__Prime_r_0026_0004__Minister the Prime Minister r_0026_0005__like->r_0026_0002__the_r_0026_0003__Prime_r_0026_0004__Minister [arg0] r_0026_0006__to_r_0026_0007__reconsider to reconsider r_0026_0005__like->r_0026_0006__to_r_0026_0007__reconsider [arg1] r_0026_0006__to_r_0026_0007__reconsider->r_0026_0002__the_r_0026_0003__Prime_r_0026_0004__Minister [arg0] r_0026_0008__the_r_0026_0009__answer the answer r_0026_0006__to_r_0026_0007__reconsider->r_0026_0008__the_r_0026_0009__answer [arg1] r_0026_0011__has has r_0026_0013__given given r_0026_0011__has->r_0026_0013__given [scope] r_0026_0013__given->r_0026_0002__the_r_0026_0003__Prime_r_0026_0004__Minister [arg0] r_0026_0013__given->r_0026_0008__the_r_0026_0009__answer [arg1] r_0026_0012__just just r_0026_0013__given->r_0026_0012__just [nim] r_0026_0015__the_r_0026_0016__House the House r_0026_0013__given->r_0026_0015__the_r_0026_0016__House to [nim] 
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_0006__to_r_0026_0007__reconsider, arg1).
arc(r_0026_0006__to_r_0026_0007__reconsider, r_0026_0002__the_r_0026_0003__Prime_r_0026_0004__Minister, arg0).
arc(r_0026_0006__to_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, arg1).
arc(r_0026_0013__given, r_0026_0012__just, nim34).
arc(r_0026_0013__given, r_0026_0015__the_r_0026_0016__House, r_0026_0014__to_nim42).


%3 r_0026_0001__Would_r_0026_0005__like Would like r_0026_0002__the_r_0026_0003__Prime_r_0026_0004__Minister the Prime Minister r_0026_0001__Would_r_0026_0005__like->r_0026_0002__the_r_0026_0003__Prime_r_0026_0004__Minister [arg0] r_0026_0006__to_r_0026_0007__reconsider to reconsider r_0026_0001__Would_r_0026_0005__like->r_0026_0006__to_r_0026_0007__reconsider [arg1] r_0026_0006__to_r_0026_0007__reconsider->r_0026_0002__the_r_0026_0003__Prime_r_0026_0004__Minister [arg0] r_0026_0008__the_r_0026_0009__answer the answer r_0026_0006__to_r_0026_0007__reconsider->r_0026_0008__the_r_0026_0009__answer [arg1] r_0026_0011__has_r_0026_0013__given has given r_0026_0011__has_r_0026_0013__given->r_0026_0002__the_r_0026_0003__Prime_r_0026_0004__Minister [arg0] r_0026_0011__has_r_0026_0013__given->r_0026_0008__the_r_0026_0009__answer [arg1] r_0026_0012__just just r_0026_0011__has_r_0026_0013__given->r_0026_0012__just [nim] r_0026_0015__the_r_0026_0016__House the House r_0026_0011__has_r_0026_0013__given->r_0026_0015__the_r_0026_0016__House to [nim] 
fof(formula,axiom,
    ? [R_26_1_WOULD_LIKE,R_26_6_TO_RECONSIDER,R_26_11_HAS_GIVEN,R_26_2_THE_PRIME_MINISTER,R_26_8_THE_ANSWER,R_26_12_JUST,R_26_15_THE_HOUSE] :
      ( the_Prime_Minister(R_26_2_THE_PRIME_MINISTER)
      & the_answer(R_26_8_THE_ANSWER)
      & just(R_26_12_JUST)
      & the_House(R_26_15_THE_HOUSE)
      & would_like(R_26_1_WOULD_LIKE,R_26_2_THE_PRIME_MINISTER,R_26_6_TO_RECONSIDER)
      & to_reconsider(R_26_6_TO_RECONSIDER,R_26_2_THE_PRIME_MINISTER,R_26_8_THE_ANSWER)
      & has_given(R_26_11_HAS_GIVEN,R_26_2_THE_PRIME_MINISTER,R_26_8_THE_ANSWER)
      & nim34(R_26_11_HAS_GIVEN,R_26_12_JUST)
      & to_nim42(R_26_11_HAS_GIVEN,R_26_15_THE_HOUSE) ) ).


n26_a_major_case n26_a_major_case_4 Would n26_a_major_case_7 the n26_a_major_case_9 Prime n26_a_major_case_11 Minister n26_a_major_case_14 like n26_a_major_case_17 to n26_a_major_case_19 reconsider n26_a_major_case_22 the n26_a_major_case_24 answer n26_a_major_case_28 he n26_a_major_case_30 has n26_a_major_case_33 *T* n26_a_major_case_36 just n26_a_major_case_38 given n26_a_major_case_41 to n26_a_major_case_44 the n26_a_major_case_46 House n26_a_major_case_48 ? n26_a_major_case_1 CP-QUE-MAT n26_a_major_case_2 IP-SUB n26_a_major_case_1->n26_a_major_case_2 n26_a_major_case_47 PUNC n26_a_major_case_1->n26_a_major_case_47 n26_a_major_case_3 MD;_cat_Vi_ n26_a_major_case_2->n26_a_major_case_3 n26_a_major_case_5 NP-SBJ n26_a_major_case_2->n26_a_major_case_5 n26_a_major_case_12 IP-INF-CAT n26_a_major_case_2->n26_a_major_case_12 n26_a_major_case_3->n26_a_major_case_4 n26_a_major_case_6 D n26_a_major_case_5->n26_a_major_case_6 n26_a_major_case_8 NPR n26_a_major_case_5->n26_a_major_case_8 n26_a_major_case_10 NPR n26_a_major_case_5->n26_a_major_case_10 n26_a_major_case_6->n26_a_major_case_7 n26_a_major_case_8->n26_a_major_case_9 n26_a_major_case_10->n26_a_major_case_11 n26_a_major_case_13 VB;_Tt_ n26_a_major_case_12->n26_a_major_case_13 n26_a_major_case_15 IP-INF-OB1 n26_a_major_case_12->n26_a_major_case_15 n26_a_major_case_13->n26_a_major_case_14 n26_a_major_case_16 TO n26_a_major_case_15->n26_a_major_case_16 n26_a_major_case_18 VB;__ n26_a_major_case_15->n26_a_major_case_18 n26_a_major_case_20 NP-OB1 n26_a_major_case_15->n26_a_major_case_20 n26_a_major_case_16->n26_a_major_case_17 n26_a_major_case_18->n26_a_major_case_19 n26_a_major_case_21 D n26_a_major_case_20->n26_a_major_case_21 n26_a_major_case_23 N n26_a_major_case_20->n26_a_major_case_23 n26_a_major_case_25 IP-REL n26_a_major_case_20->n26_a_major_case_25 n26_a_major_case_21->n26_a_major_case_22 n26_a_major_case_23->n26_a_major_case_24 n26_a_major_case_26 NP-SBJ n26_a_major_case_25->n26_a_major_case_26 n26_a_major_case_29 HVP;_cat_Ve_ n26_a_major_case_25->n26_a_major_case_29 n26_a_major_case_31 IP-PPL-CAT n26_a_major_case_25->n26_a_major_case_31 n26_a_major_case_27 PRO n26_a_major_case_26->n26_a_major_case_27 n26_a_major_case_27->n26_a_major_case_28 n26_a_major_case_29->n26_a_major_case_30 n26_a_major_case_32 NP-OB1 n26_a_major_case_31->n26_a_major_case_32 n26_a_major_case_34 ADVP-NIM n26_a_major_case_31->n26_a_major_case_34 n26_a_major_case_37 VVN;__ n26_a_major_case_31->n26_a_major_case_37 n26_a_major_case_39 PP-NIM n26_a_major_case_31->n26_a_major_case_39 n26_a_major_case_32->n26_a_major_case_33 n26_a_major_case_35 ADV n26_a_major_case_34->n26_a_major_case_35 n26_a_major_case_35->n26_a_major_case_36 n26_a_major_case_37->n26_a_major_case_38 n26_a_major_case_40 P-ROLE n26_a_major_case_39->n26_a_major_case_40 n26_a_major_case_42 NP n26_a_major_case_39->n26_a_major_case_42 n26_a_major_case_40->n26_a_major_case_41 n26_a_major_case_43 D n26_a_major_case_42->n26_a_major_case_43 n26_a_major_case_45 NPR n26_a_major_case_42->n26_a_major_case_45 n26_a_major_case_43->n26_a_major_case_44 n26_a_major_case_45->n26_a_major_case_46 n26_a_major_case_47->n26_a_major_case_48 
( (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))