Context                Previous, Next                Top


22_a_major_case
Is that still his position?

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))


%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] z_0022_5002 r_0022_0001__Is->z_0022_5002 [arg0] r_0022_0003__still still r_0022_0001__Is->r_0022_0003__still [nim] 
arc(r_0022_0001__Is,r_0022_0003__still,nim).
arc(r_0022_0001__Is,r_0022_0005__position,prd).
arc(r_0022_0001__Is,z_0022_5002,arg0).
arc(r_0022_0005__position,r_0022_0004__his,gen).


%3 r_0022_0001__Is Is 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] z_0022_5002 r_0022_0001__Is->z_0022_5002 [arg0] r_0022_0004__his his r_0022_0005__position->r_0022_0004__his [gen] 
fof(formula,axiom,
    ? [R_0022_0003__STILL,R_0022_0004__HIS,R_0022_0005__POSITION,Z_0022_5002,R_0022_0001__IS] :
      ( r_0022_0003__still(R_0022_0003__STILL)
      & r_0022_0004__his(R_0022_0004__HIS)
      & z_0022_5002(Z_0022_5002)
      & r_0022_0001__Is(R_0022_0001__IS)
      & has_arg0(R_0022_0001__IS,Z_0022_5002)
      & has_prd(R_0022_0001__IS,R_0022_0005__POSITION)
      & r_0022_0005__position(R_0022_0005__POSITION)
      & has_gen(R_0022_0005__POSITION,R_0022_0004__HIS)
      & has_nim(R_0022_0001__IS,R_0022_0003__STILL) ) ).