Context                Previous, Next                Top


20_a_fce_0100_2000_12
In what ways might they still be the same?

%3 r_0020_0004__might might r_0020_0007__be be r_0020_0004__might->r_0020_0007__be [scope] r_0020_0002__what_r_0020_0003__ways what ways r_0020_0007__be->r_0020_0002__what_r_0020_0003__ways In [nim] r_0020_0005__they they r_0020_0007__be->r_0020_0005__they [arg0] r_0020_0006__still still r_0020_0007__be->r_0020_0006__still [nim] r_0020_0008__the the r_0020_0007__be->r_0020_0008__the [prd] r_0020_0009__same same r_0020_0008__the->r_0020_0009__same [attrib] 
arc(r_0020_0004__might, r_0020_0007__be, scope).
arc(r_0020_0007__be, r_0020_0002__what_r_0020_0003__ways, r_0020_0001__In_nim6).
arc(r_0020_0007__be, r_0020_0005__they, arg0).
arc(r_0020_0007__be, r_0020_0006__still, nim19).
arc(r_0020_0007__be, r_0020_0008__the, prd).
arc(r_0020_0008__the, r_0020_0009__same, attrib27).


%3 r_0020_0004__might_r_0020_0007__be might be r_0020_0002__what_r_0020_0003__ways what ways r_0020_0004__might_r_0020_0007__be->r_0020_0002__what_r_0020_0003__ways In [nim] r_0020_0005__they they r_0020_0004__might_r_0020_0007__be->r_0020_0005__they [arg0] r_0020_0006__still still r_0020_0004__might_r_0020_0007__be->r_0020_0006__still [nim] r_0020_0008__the the r_0020_0004__might_r_0020_0007__be->r_0020_0008__the [prd] r_0020_0009__same same r_0020_0008__the->r_0020_0009__same [attrib] 
fof(formula,axiom,
    ? [R_20_4_MIGHT_BE,R_20_5_THEY,R_20_6_STILL,R_20_8_THE,R_20_9_SAME,R_20_2_WHAT_WAYS] :
      ( they(R_20_5_THEY)
      & still(R_20_6_STILL)
      & same(R_20_9_SAME)
      & what_ways(R_20_2_WHAT_WAYS)
      & might_be(R_20_4_MIGHT_BE,R_20_5_THEY,R_20_8_THE)
      & the(R_20_8_THE)
      & attrib27(R_20_8_THE,R_20_9_SAME)
      & nim19(R_20_4_MIGHT_BE,R_20_6_STILL)
      & in_nim6(R_20_4_MIGHT_BE,R_20_2_WHAT_WAYS) ) ).


n20_a_fce_0100_2000_12 n20_a_fce_0100_2000_12_5 In n20_a_fce_0100_2000_12_8 what n20_a_fce_0100_2000_12_10 ways n20_a_fce_0100_2000_12_12 might n20_a_fce_0100_2000_12_15 they n20_a_fce_0100_2000_12_18 *ICH*-126 n20_a_fce_0100_2000_12_21 still n20_a_fce_0100_2000_12_23 be n20_a_fce_0100_2000_12_26 the n20_a_fce_0100_2000_12_29 same n20_a_fce_0100_2000_12_31 ? n20_a_fce_0100_2000_12_1 CP-QUE-MAT n20_a_fce_0100_2000_12_2 IP-SUB n20_a_fce_0100_2000_12_1->n20_a_fce_0100_2000_12_2 n20_a_fce_0100_2000_12_30 PUNC n20_a_fce_0100_2000_12_1->n20_a_fce_0100_2000_12_30 n20_a_fce_0100_2000_12_3 PP-126 n20_a_fce_0100_2000_12_2->n20_a_fce_0100_2000_12_3 n20_a_fce_0100_2000_12_11 MD;_cat_Vi_ n20_a_fce_0100_2000_12_2->n20_a_fce_0100_2000_12_11 n20_a_fce_0100_2000_12_13 NP-SBJ n20_a_fce_0100_2000_12_2->n20_a_fce_0100_2000_12_13 n20_a_fce_0100_2000_12_16 IP-INF-CAT n20_a_fce_0100_2000_12_2->n20_a_fce_0100_2000_12_16 n20_a_fce_0100_2000_12_4 P-ROLE n20_a_fce_0100_2000_12_3->n20_a_fce_0100_2000_12_4 n20_a_fce_0100_2000_12_6 NP n20_a_fce_0100_2000_12_3->n20_a_fce_0100_2000_12_6 n20_a_fce_0100_2000_12_4->n20_a_fce_0100_2000_12_5 n20_a_fce_0100_2000_12_7 WD n20_a_fce_0100_2000_12_6->n20_a_fce_0100_2000_12_7 n20_a_fce_0100_2000_12_9 NS n20_a_fce_0100_2000_12_6->n20_a_fce_0100_2000_12_9 n20_a_fce_0100_2000_12_7->n20_a_fce_0100_2000_12_8 n20_a_fce_0100_2000_12_9->n20_a_fce_0100_2000_12_10 n20_a_fce_0100_2000_12_11->n20_a_fce_0100_2000_12_12 n20_a_fce_0100_2000_12_14 PRO n20_a_fce_0100_2000_12_13->n20_a_fce_0100_2000_12_14 n20_a_fce_0100_2000_12_14->n20_a_fce_0100_2000_12_15 n20_a_fce_0100_2000_12_17 PP-NIM n20_a_fce_0100_2000_12_16->n20_a_fce_0100_2000_12_17 n20_a_fce_0100_2000_12_19 ADVP-NIM n20_a_fce_0100_2000_12_16->n20_a_fce_0100_2000_12_19 n20_a_fce_0100_2000_12_22 BE;_Ln_ n20_a_fce_0100_2000_12_16->n20_a_fce_0100_2000_12_22 n20_a_fce_0100_2000_12_24 NP-PRD n20_a_fce_0100_2000_12_16->n20_a_fce_0100_2000_12_24 n20_a_fce_0100_2000_12_17->n20_a_fce_0100_2000_12_18 n20_a_fce_0100_2000_12_20 ADV n20_a_fce_0100_2000_12_19->n20_a_fce_0100_2000_12_20 n20_a_fce_0100_2000_12_20->n20_a_fce_0100_2000_12_21 n20_a_fce_0100_2000_12_22->n20_a_fce_0100_2000_12_23 n20_a_fce_0100_2000_12_25 D n20_a_fce_0100_2000_12_24->n20_a_fce_0100_2000_12_25 n20_a_fce_0100_2000_12_27 ADJP n20_a_fce_0100_2000_12_24->n20_a_fce_0100_2000_12_27 n20_a_fce_0100_2000_12_25->n20_a_fce_0100_2000_12_26 n20_a_fce_0100_2000_12_28 ADJ n20_a_fce_0100_2000_12_27->n20_a_fce_0100_2000_12_28 n20_a_fce_0100_2000_12_28->n20_a_fce_0100_2000_12_29 n20_a_fce_0100_2000_12_30->n20_a_fce_0100_2000_12_31 
( (CP-QUE-MAT (IP-SUB (PP-126 (P-ROLE In;{in})
                              (NP (WD what;{what})
                                  (NS ways;{way})))
                      (MD;_cat_Vi_ might;{may})
                      (NP-SBJ;{HOMES} (PRO they;{they}))
                      (IP-INF-CAT (PP-NIM *ICH*-126)
                                  (ADVP-NIM (ADV still;{still}))
                                  (BE;_Ln_ be;{be})
                                  (NP-PRD (D the;{the})
                                          (ADJP (ADJ same;{same})))))
              (PUNC ?))
  (ID 20_a_fce_0100_2000_12))