Context                Previous, Next                Top


1_a_major_case
The Prime Minister's purpose in this case

%3 r_0001_0005__purpose purpose r_0001_0001__The_r_0001_0002__Prime_r_0001_0003__Minister_r_0001_0004___apos_s The Prime Minister 's r_0001_0005__purpose->r_0001_0001__The_r_0001_0002__Prime_r_0001_0003__Minister_r_0001_0004___apos_s [gen] z_000_1_a_major_case_1 z_000_1_a_major_case_1->r_0001_0005__purpose [nim] r_0001_0007__this_r_0001_0008__case this case z_000_1_a_major_case_1->r_0001_0007__this_r_0001_0008__case in [nim] 
arc(r_0001_0005__purpose, r_0001_0001__The_r_0001_0002__Prime_r_0001_0003__Minister_r_0001_0004___apos_s, gen).
arc(z_000_1_a_major_case_1, r_0001_0005__purpose, nim2).
arc(z_000_1_a_major_case_1, r_0001_0007__this_r_0001_0008__case, r_0001_0006__in_nim17).


%3 r_0001_0005__purpose purpose r_0001_0001__The_r_0001_0002__Prime_r_0001_0003__Minister_r_0001_0004___apos_s The Prime Minister 's r_0001_0005__purpose->r_0001_0001__The_r_0001_0002__Prime_r_0001_0003__Minister_r_0001_0004___apos_s [gen] z_000_1_a_major_case_1 z_000_1_a_major_case_1->r_0001_0005__purpose [nim] r_0001_0007__this_r_0001_0008__case this case z_000_1_a_major_case_1->r_0001_0007__this_r_0001_0008__case in [nim] 
fof(formula,axiom,
    ? [Z_1_A_MAJOR_CASE_1,R_1_5_PURPOSE,R_1_1_THE_PRIME_MINISTER_APOS_S,R_1_7_THIS_CASE] :
      ( the_Prime_Minister_apos_s(R_1_1_THE_PRIME_MINISTER_APOS_S)
      & this_case(R_1_7_THIS_CASE)
      & z_1_a_major_case_1(Z_1_A_MAJOR_CASE_1)
      & nim2(Z_1_A_MAJOR_CASE_1,R_1_5_PURPOSE)
      & purpose(R_1_5_PURPOSE)
      & gen(R_1_5_PURPOSE,R_1_1_THE_PRIME_MINISTER_APOS_S)
      & in_nim17(Z_1_A_MAJOR_CASE_1,R_1_7_THIS_CASE) ) ).


n1_a_major_case n1_a_major_case_5 The n1_a_major_case_7 Prime n1_a_major_case_9 Minister n1_a_major_case_11 's n1_a_major_case_13 purpose n1_a_major_case_16 in n1_a_major_case_19 this n1_a_major_case_21 case n1_a_major_case_1 FRAG n1_a_major_case_2 NP n1_a_major_case_1->n1_a_major_case_2 n1_a_major_case_14 PP-NIM n1_a_major_case_1->n1_a_major_case_14 n1_a_major_case_3 NP-GEN n1_a_major_case_2->n1_a_major_case_3 n1_a_major_case_12 N n1_a_major_case_2->n1_a_major_case_12 n1_a_major_case_4 D n1_a_major_case_3->n1_a_major_case_4 n1_a_major_case_6 NPR n1_a_major_case_3->n1_a_major_case_6 n1_a_major_case_8 NPR n1_a_major_case_3->n1_a_major_case_8 n1_a_major_case_10 GENM n1_a_major_case_3->n1_a_major_case_10 n1_a_major_case_4->n1_a_major_case_5 n1_a_major_case_6->n1_a_major_case_7 n1_a_major_case_8->n1_a_major_case_9 n1_a_major_case_10->n1_a_major_case_11 n1_a_major_case_12->n1_a_major_case_13 n1_a_major_case_15 P-ROLE n1_a_major_case_14->n1_a_major_case_15 n1_a_major_case_17 NP n1_a_major_case_14->n1_a_major_case_17 n1_a_major_case_15->n1_a_major_case_16 n1_a_major_case_18 D n1_a_major_case_17->n1_a_major_case_18 n1_a_major_case_20 N n1_a_major_case_17->n1_a_major_case_20 n1_a_major_case_18->n1_a_major_case_19 n1_a_major_case_20->n1_a_major_case_21 
( (FRAG (NP (NP-GEN;{JOHNSON} (D The;{the})
                              (NPR Prime;{Prime})
                              (NPR Minister;{Minister})
                              (GENM <apos>s))
            (N purpose;{purpose}))
        (PP-NIM (P-ROLE in;{in})
                (NP (D this;{this})
                    (N case;{case}))))
  (ID 1_a_major_case))