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_0008__the the r_0020_0009__same same r_0020_0008__the->r_0020_0009__same [attrib] r_0020_0004__might_r_0020_0007__be might be r_0020_0004__might_r_0020_0007__be->r_0020_0008__the [prd] r_0020_0006__still still r_0020_0004__might_r_0020_0007__be->r_0020_0006__still [nim] r_0020_0005__they they r_0020_0004__might_r_0020_0007__be->r_0020_0005__they [arg0] 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] 
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__1_1_1_1_1 In n20_a_fce_0100_2000_12__1_1_1_2_1_1 what n20_a_fce_0100_2000_12__1_1_1_2_2_1 ways n20_a_fce_0100_2000_12__1_1_2_1 might n20_a_fce_0100_2000_12__1_1_3_1_1 they n20_a_fce_0100_2000_12__1_1_4_1_1 *ICH*-126 n20_a_fce_0100_2000_12__1_1_4_2_1_1 still n20_a_fce_0100_2000_12__1_1_4_3_1 be n20_a_fce_0100_2000_12__1_1_4_4_1_1 the n20_a_fce_0100_2000_12__1_1_4_4_2_1_1 same n20_a_fce_0100_2000_12__1_2_1 ? n20_a_fce_0100_2000_12__1 CP-QUE-MAT n20_a_fce_0100_2000_12__1_1 IP-SUB n20_a_fce_0100_2000_12__1->n20_a_fce_0100_2000_12__1_1 n20_a_fce_0100_2000_12__1_2 PUNC n20_a_fce_0100_2000_12__1->n20_a_fce_0100_2000_12__1_2 n20_a_fce_0100_2000_12__1_1_1 PP-126 n20_a_fce_0100_2000_12__1_1->n20_a_fce_0100_2000_12__1_1_1 n20_a_fce_0100_2000_12__1_1_2 MD;_cat_Vi_ n20_a_fce_0100_2000_12__1_1->n20_a_fce_0100_2000_12__1_1_2 n20_a_fce_0100_2000_12__1_1_3 NP-SBJ n20_a_fce_0100_2000_12__1_1->n20_a_fce_0100_2000_12__1_1_3 n20_a_fce_0100_2000_12__1_1_4 IP-INF-CAT n20_a_fce_0100_2000_12__1_1->n20_a_fce_0100_2000_12__1_1_4 n20_a_fce_0100_2000_12__1_1_1_1 P-ROLE n20_a_fce_0100_2000_12__1_1_1->n20_a_fce_0100_2000_12__1_1_1_1 n20_a_fce_0100_2000_12__1_1_1_2 NP n20_a_fce_0100_2000_12__1_1_1->n20_a_fce_0100_2000_12__1_1_1_2 n20_a_fce_0100_2000_12__1_1_1_1->n20_a_fce_0100_2000_12__1_1_1_1_1 n20_a_fce_0100_2000_12__1_1_1_2_1 WD n20_a_fce_0100_2000_12__1_1_1_2->n20_a_fce_0100_2000_12__1_1_1_2_1 n20_a_fce_0100_2000_12__1_1_1_2_2 NS n20_a_fce_0100_2000_12__1_1_1_2->n20_a_fce_0100_2000_12__1_1_1_2_2 n20_a_fce_0100_2000_12__1_1_1_2_1->n20_a_fce_0100_2000_12__1_1_1_2_1_1 n20_a_fce_0100_2000_12__1_1_1_2_2->n20_a_fce_0100_2000_12__1_1_1_2_2_1 n20_a_fce_0100_2000_12__1_1_2->n20_a_fce_0100_2000_12__1_1_2_1 n20_a_fce_0100_2000_12__1_1_3_1 PRO n20_a_fce_0100_2000_12__1_1_3->n20_a_fce_0100_2000_12__1_1_3_1 n20_a_fce_0100_2000_12__1_1_3_1->n20_a_fce_0100_2000_12__1_1_3_1_1 n20_a_fce_0100_2000_12__1_1_4_1 PP-NIM n20_a_fce_0100_2000_12__1_1_4->n20_a_fce_0100_2000_12__1_1_4_1 n20_a_fce_0100_2000_12__1_1_4_2 ADVP-NIM n20_a_fce_0100_2000_12__1_1_4->n20_a_fce_0100_2000_12__1_1_4_2 n20_a_fce_0100_2000_12__1_1_4_3 BE;_Ln_ n20_a_fce_0100_2000_12__1_1_4->n20_a_fce_0100_2000_12__1_1_4_3 n20_a_fce_0100_2000_12__1_1_4_4 NP-PRD n20_a_fce_0100_2000_12__1_1_4->n20_a_fce_0100_2000_12__1_1_4_4 n20_a_fce_0100_2000_12__1_1_4_1->n20_a_fce_0100_2000_12__1_1_4_1_1 n20_a_fce_0100_2000_12__1_1_4_2_1 ADV n20_a_fce_0100_2000_12__1_1_4_2->n20_a_fce_0100_2000_12__1_1_4_2_1 n20_a_fce_0100_2000_12__1_1_4_2_1->n20_a_fce_0100_2000_12__1_1_4_2_1_1 n20_a_fce_0100_2000_12__1_1_4_3->n20_a_fce_0100_2000_12__1_1_4_3_1 n20_a_fce_0100_2000_12__1_1_4_4_1 D n20_a_fce_0100_2000_12__1_1_4_4->n20_a_fce_0100_2000_12__1_1_4_4_1 n20_a_fce_0100_2000_12__1_1_4_4_2 ADJP n20_a_fce_0100_2000_12__1_1_4_4->n20_a_fce_0100_2000_12__1_1_4_4_2 n20_a_fce_0100_2000_12__1_1_4_4_1->n20_a_fce_0100_2000_12__1_1_4_4_1_1 n20_a_fce_0100_2000_12__1_1_4_4_2_1 ADJ n20_a_fce_0100_2000_12__1_1_4_4_2->n20_a_fce_0100_2000_12__1_1_4_4_2_1 n20_a_fce_0100_2000_12__1_1_4_4_2_1->n20_a_fce_0100_2000_12__1_1_4_4_2_1_1 n20_a_fce_0100_2000_12__1_2->n20_a_fce_0100_2000_12__1_2_1 
( (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))