Context                Previous, Next                Top


45_a_dick_1952
“Could they have gone underground?”

%3 r_0045_0002__Could Could r_0045_0004__have have r_0045_0002__Could->r_0045_0004__have [scope] r_0045_0005__gone gone r_0045_0004__have->r_0045_0005__gone [scope] r_0045_0003__they they r_0045_0005__gone->r_0045_0003__they [arg0] r_0045_0006__underground underground r_0045_0005__gone->r_0045_0006__underground [nim] 
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, nim16).


%3 r_0045_0002__Could_r_0045_0004__have_r_0045_0005__gone Could have gone r_0045_0006__underground underground r_0045_0002__Could_r_0045_0004__have_r_0045_0005__gone->r_0045_0006__underground [nim] r_0045_0003__they they r_0045_0002__Could_r_0045_0004__have_r_0045_0005__gone->r_0045_0003__they [arg0] 
fof(formula,axiom,
    ? [R_45_2_COULD_HAVE_GONE,R_45_3_THEY,R_45_6_UNDERGROUND] :
      ( they(R_45_3_THEY)
      & underground(R_45_6_UNDERGROUND)
      & could_have_gone(R_45_2_COULD_HAVE_GONE,R_45_3_THEY)
      & nim16(R_45_2_COULD_HAVE_GONE,R_45_6_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))