Context                Previous, Next                Top


22_a_major_case
Is that still his position?

%3 r_0022_0001__Is Is r_0022_0002__that that r_0022_0001__Is->r_0022_0002__that [arg0] r_0022_0003__still still r_0022_0001__Is->r_0022_0003__still [nim] r_0022_0005__position position r_0022_0001__Is->r_0022_0005__position [prd] r_0022_0004__his his r_0022_0005__position->r_0022_0004__his [gen] 
arc(r_0022_0001__Is, r_0022_0002__that, arg0).
arc(r_0022_0001__Is, r_0022_0003__still, nim8).
arc(r_0022_0001__Is, r_0022_0005__position, prd).
arc(r_0022_0005__position, r_0022_0004__his, gen).


%3 r_0022_0005__position position r_0022_0004__his his r_0022_0005__position->r_0022_0004__his [gen] r_0022_0001__Is Is r_0022_0001__Is->r_0022_0005__position [prd] r_0022_0003__still still r_0022_0001__Is->r_0022_0003__still [nim] r_0022_0002__that that r_0022_0001__Is->r_0022_0002__that [arg0] 
fof(formula,axiom,
    ? [R_22_1_IS,R_22_2_THAT,R_22_3_STILL,R_22_5_POSITION,R_22_4_HIS] :
      ( that(R_22_2_THAT)
      & still(R_22_3_STILL)
      & his(R_22_4_HIS)
      & is(R_22_1_IS,R_22_2_THAT,R_22_5_POSITION)
      & position(R_22_5_POSITION)
      & gen(R_22_5_POSITION,R_22_4_HIS)
      & nim8(R_22_1_IS,R_22_3_STILL) ) ).


n22_a_major_case n22_a_major_case__1_1_1_1 Is n22_a_major_case__1_1_2_1_1 that n22_a_major_case__1_1_3_1_1 still n22_a_major_case__1_1_4_1_1_1 his n22_a_major_case__1_1_4_2_1 position n22_a_major_case__1_2_1 ? n22_a_major_case__1 CP-QUE-MAT n22_a_major_case__1_1 IP-SUB n22_a_major_case__1->n22_a_major_case__1_1 n22_a_major_case__1_2 PUNC n22_a_major_case__1->n22_a_major_case__1_2 n22_a_major_case__1_1_1 BEP;_Ln_ n22_a_major_case__1_1->n22_a_major_case__1_1_1 n22_a_major_case__1_1_2 NP-SBJ n22_a_major_case__1_1->n22_a_major_case__1_1_2 n22_a_major_case__1_1_3 ADVP-NIM n22_a_major_case__1_1->n22_a_major_case__1_1_3 n22_a_major_case__1_1_4 NP-PRD n22_a_major_case__1_1->n22_a_major_case__1_1_4 n22_a_major_case__1_1_1->n22_a_major_case__1_1_1_1 n22_a_major_case__1_1_2_1 P-ROLE n22_a_major_case__1_1_2->n22_a_major_case__1_1_2_1 n22_a_major_case__1_1_2_1->n22_a_major_case__1_1_2_1_1 n22_a_major_case__1_1_3_1 ADV n22_a_major_case__1_1_3->n22_a_major_case__1_1_3_1 n22_a_major_case__1_1_3_1->n22_a_major_case__1_1_3_1_1 n22_a_major_case__1_1_4_1 NP-GEN n22_a_major_case__1_1_4->n22_a_major_case__1_1_4_1 n22_a_major_case__1_1_4_2 N n22_a_major_case__1_1_4->n22_a_major_case__1_1_4_2 n22_a_major_case__1_1_4_1_1 PRO;_genm_ n22_a_major_case__1_1_4_1->n22_a_major_case__1_1_4_1_1 n22_a_major_case__1_1_4_1_1->n22_a_major_case__1_1_4_1_1_1 n22_a_major_case__1_1_4_2->n22_a_major_case__1_1_4_2_1 n22_a_major_case__1_2->n22_a_major_case__1_2_1 
( (CP-QUE-MAT (IP-SUB (BEP;_Ln_ Is;{be})
                      (NP-SBJ (P-ROLE that;{that}))
                      (ADVP-NIM (ADV still;{still}))
                      (NP-PRD (NP-GEN;{JOHNSON} (PRO;_genm_ his;{his}))
                              (N position;{position})))
              (PUNC ?))
  (ID 22_a_major_case))