Context                Previous, Next                Top


45_a_dick_1952
“Could they have gone underground?”

n45_a_dick_1952 n45_a_dick_1952__1_1_1 <ldquo> n45_a_dick_1952__1_2_1_1 Could n45_a_dick_1952__1_2_2_1_1 they n45_a_dick_1952__1_2_3_1_1 have n45_a_dick_1952__1_2_3_2_1_1 gone n45_a_dick_1952__1_2_3_2_2_1_1 underground n45_a_dick_1952__1_3_1 ? n45_a_dick_1952__1_4_1 <rdquo> n45_a_dick_1952__1 CP-QUE-MAT n45_a_dick_1952__1_1 PULQ n45_a_dick_1952__1->n45_a_dick_1952__1_1 n45_a_dick_1952__1_2 IP-SUB n45_a_dick_1952__1->n45_a_dick_1952__1_2 n45_a_dick_1952__1_3 PUNC n45_a_dick_1952__1->n45_a_dick_1952__1_3 n45_a_dick_1952__1_4 PURQ n45_a_dick_1952__1->n45_a_dick_1952__1_4 n45_a_dick_1952__1_1->n45_a_dick_1952__1_1_1 n45_a_dick_1952__1_2_1 MD;_cat_Vi_ n45_a_dick_1952__1_2->n45_a_dick_1952__1_2_1 n45_a_dick_1952__1_2_2 NP-SBJ n45_a_dick_1952__1_2->n45_a_dick_1952__1_2_2 n45_a_dick_1952__1_2_3 IP-INF-CAT n45_a_dick_1952__1_2->n45_a_dick_1952__1_2_3 n45_a_dick_1952__1_2_1->n45_a_dick_1952__1_2_1_1 n45_a_dick_1952__1_2_2_1 PRO n45_a_dick_1952__1_2_2->n45_a_dick_1952__1_2_2_1 n45_a_dick_1952__1_2_2_1->n45_a_dick_1952__1_2_2_1_1 n45_a_dick_1952__1_2_3_1 HV;_cat_Ve_ n45_a_dick_1952__1_2_3->n45_a_dick_1952__1_2_3_1 n45_a_dick_1952__1_2_3_2 IP-PPL-CAT n45_a_dick_1952__1_2_3->n45_a_dick_1952__1_2_3_2 n45_a_dick_1952__1_2_3_1->n45_a_dick_1952__1_2_3_1_1 n45_a_dick_1952__1_2_3_2_1 VVN;_I_ n45_a_dick_1952__1_2_3_2->n45_a_dick_1952__1_2_3_2_1 n45_a_dick_1952__1_2_3_2_2 ADVP-NIM n45_a_dick_1952__1_2_3_2->n45_a_dick_1952__1_2_3_2_2 n45_a_dick_1952__1_2_3_2_1->n45_a_dick_1952__1_2_3_2_1_1 n45_a_dick_1952__1_2_3_2_2_1 ADV n45_a_dick_1952__1_2_3_2_2->n45_a_dick_1952__1_2_3_2_2_1 n45_a_dick_1952__1_2_3_2_2_1->n45_a_dick_1952__1_2_3_2_2_1_1 n45_a_dick_1952__1_3->n45_a_dick_1952__1_3_1 n45_a_dick_1952__1_4->n45_a_dick_1952__1_4_1 
( (CP-QUE-MAT (PULQ <ldquo>)
              (IP-SUB (MD;_cat_Vi_ Could;{can})
                      (NP-SBJ;{INHABITANTS} (PRO they;{they}))
                      (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                  (IP-PPL-CAT (VVN;_I_ gone;{go})
                                              (ADVP-NIM (ADV underground;{underground})))))
              (PUNC ?)
              (PURQ <rdquo>))
  (ID 45_a_dick_1952))


%3 r_0045_0005__gone gone r_0045_0006__underground underground r_0045_0005__gone->r_0045_0006__underground [nim] r_0045_0003__they they r_0045_0005__gone->r_0045_0003__they [arg0] r_0045_0004__have have r_0045_0004__have->r_0045_0005__gone [scope] r_0045_0002__Could Could r_0045_0002__Could->r_0045_0004__have [scope] 
arc(r_0045_0002__Could,r_0045_0004__have,scope).
arc(r_0045_0004__have,r_0045_0005__gone,scope).
arc(r_0045_0005__gone,r_0045_0003__they,arg0).
arc(r_0045_0005__gone,r_0045_0006__underground,nim).


%3 r_0045_0002__Could_r_0045_0004__have_r_0045_0005__gone Could have gone r_0045_0003__they they r_0045_0002__Could_r_0045_0004__have_r_0045_0005__gone->r_0045_0003__they [arg0] r_0045_0006__underground underground r_0045_0002__Could_r_0045_0004__have_r_0045_0005__gone->r_0045_0006__underground [nim] 
fof(formula,axiom,
    ? [R_0045_0003__THEY,R_0045_0006__UNDERGROUND,R_0045_0002__COULD_R_0045_0004__HAVE_R_0045_0005__GONE] :
      ( r_0045_0003__they(R_0045_0003__THEY)
      & r_0045_0006__underground(R_0045_0006__UNDERGROUND)
      & r_0045_0002__Could_r_0045_0004__have_r_0045_0005__gone(R_0045_0002__COULD_R_0045_0004__HAVE_R_0045_0005__GONE)
      & has_nim(R_0045_0002__COULD_R_0045_0004__HAVE_R_0045_0005__GONE,R_0045_0006__UNDERGROUND)
      & has_arg0(R_0045_0002__COULD_R_0045_0004__HAVE_R_0045_0005__GONE,R_0045_0003__THEY) ) ).