20_a_fce_0100_2000_12
In what ways might they still be the same?
( (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))
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__nim).
arc(r_0020_0007__be,r_0020_0005__they,arg0).
arc(r_0020_0007__be,r_0020_0006__still,nim).
arc(r_0020_0007__be,r_0020_0008__the,prd).
arc(r_0020_0008__the,r_0020_0009__same,attrib).
fof(formula,axiom,
? [R_0020_0002__WHAT_R_0020_0003__WAYS,R_0020_0005__THEY,R_0020_0006__STILL,R_0020_0009__SAME,R_0020_0008__THE,R_0020_0004__MIGHT_R_0020_0007__BE] :
( r_0020_0002__what_r_0020_0003__ways(R_0020_0002__WHAT_R_0020_0003__WAYS)
& r_0020_0005__they(R_0020_0005__THEY)
& r_0020_0006__still(R_0020_0006__STILL)
& r_0020_0009__same(R_0020_0009__SAME)
& r_0020_0004__might_r_0020_0007__be(R_0020_0004__MIGHT_R_0020_0007__BE)
& has_prd(R_0020_0004__MIGHT_R_0020_0007__BE,R_0020_0008__THE)
& r_0020_0008__the(R_0020_0008__THE)
& has_attrib(R_0020_0008__THE,R_0020_0009__SAME)
& has_nim(R_0020_0004__MIGHT_R_0020_0007__BE,R_0020_0006__STILL)
& has_arg0(R_0020_0004__MIGHT_R_0020_0007__BE,R_0020_0005__THEY)
& has_r_0020_0001__In__nim(R_0020_0004__MIGHT_R_0020_0007__BE,R_0020_0002__WHAT_R_0020_0003__WAYS) ) ).