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_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_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_3 <ldquo> n45_a_dick_1952_6 Could n45_a_dick_1952_9 they n45_a_dick_1952_12 have n45_a_dick_1952_15 gone n45_a_dick_1952_18 underground n45_a_dick_1952_20 ? n45_a_dick_1952_22 <rdquo> n45_a_dick_1952_1 CP-QUE-MAT n45_a_dick_1952_2 PULQ n45_a_dick_1952_1->n45_a_dick_1952_2 n45_a_dick_1952_4 IP-SUB n45_a_dick_1952_1->n45_a_dick_1952_4 n45_a_dick_1952_19 PUNC n45_a_dick_1952_1->n45_a_dick_1952_19 n45_a_dick_1952_21 PURQ n45_a_dick_1952_1->n45_a_dick_1952_21 n45_a_dick_1952_2->n45_a_dick_1952_3 n45_a_dick_1952_5 MD;_cat_Vi_ n45_a_dick_1952_4->n45_a_dick_1952_5 n45_a_dick_1952_7 NP-SBJ n45_a_dick_1952_4->n45_a_dick_1952_7 n45_a_dick_1952_10 IP-INF-CAT n45_a_dick_1952_4->n45_a_dick_1952_10 n45_a_dick_1952_5->n45_a_dick_1952_6 n45_a_dick_1952_8 PRO n45_a_dick_1952_7->n45_a_dick_1952_8 n45_a_dick_1952_8->n45_a_dick_1952_9 n45_a_dick_1952_11 HV;_cat_Ve_ n45_a_dick_1952_10->n45_a_dick_1952_11 n45_a_dick_1952_13 IP-PPL-CAT n45_a_dick_1952_10->n45_a_dick_1952_13 n45_a_dick_1952_11->n45_a_dick_1952_12 n45_a_dick_1952_14 VVN;_I_ n45_a_dick_1952_13->n45_a_dick_1952_14 n45_a_dick_1952_16 ADVP-NIM n45_a_dick_1952_13->n45_a_dick_1952_16 n45_a_dick_1952_14->n45_a_dick_1952_15 n45_a_dick_1952_17 ADV n45_a_dick_1952_16->n45_a_dick_1952_17 n45_a_dick_1952_17->n45_a_dick_1952_18 n45_a_dick_1952_19->n45_a_dick_1952_20 n45_a_dick_1952_21->n45_a_dick_1952_22 
( (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))