12_a_fce_0100_2000_06
Please choose two from the list below and tell us how good you are at each one.
arc(r_0012_0002__choose, r_0012_0003__two, arg1).
arc(r_0012_0002__choose, r_0012_0005__the_r_0012_0006__list, r_0012_0004__from_nim14).
arc(r_0012_0002__choose, z_000_12_a_fce_0100_2000_06_1, arg0).
arc(r_0012_0005__the_r_0012_0006__list, r_0012_0007__below, qual19).
arc(r_0012_0008__and, r_0012_0002__choose, conj1).
arc(r_0012_0008__and, r_0012_0009__tell, conj2).
arc(r_0012_0009__tell, r_0012_0010__us, arg2).
arc(r_0012_0009__tell, r_0012_0016__each_quant, arg1).
arc(r_0012_0009__tell, z_000_12_a_fce_0100_2000_06_1, arg0).
arc(r_0012_0012__good, r_0012_0011__how, qual34).
arc(r_0012_0014__are, r_0012_0012__good, prd).
arc(r_0012_0014__are, r_0012_0013__you, arg0).
arc(r_0012_0014__are, r_0012_0017__one, r_0012_0015__at_nim47).
arc(r_0012_0016__each_quant, r_0012_0014__are, scope).
arc(r_0012_0016__each_quant, r_0012_0017__one, restriction).
fof(formula,axiom,
? [R_12_8_AND,R_12_2_CHOOSE,R_12_3_TWO,R_12_5_THE_LIST,R_12_7_BELOW,R_12_9_TELL,Z_12_A_FCE_100_2000_6_1,R_12_10_US] :
( two(R_12_3_TWO)
& below(R_12_7_BELOW)
& us(R_12_10_US)
& and(R_12_8_AND)
& conj1(R_12_8_AND,R_12_2_CHOOSE)
& choose(R_12_2_CHOOSE,Z_12_A_FCE_100_2000_6_1,R_12_3_TWO)
& from_nim14(R_12_2_CHOOSE,R_12_5_THE_LIST)
& the_list(R_12_5_THE_LIST)
& qual19(R_12_5_THE_LIST,R_12_7_BELOW)
& conj2(R_12_8_AND,R_12_9_TELL)
& ! [R_12_17_ONE] :
( one(R_12_17_ONE)
=> ? [R_12_14_ARE,R_12_13_YOU,R_12_12_GOOD,R_12_11_HOW] :
( you(R_12_13_YOU)
& how(R_12_11_HOW)
& are(R_12_14_ARE,R_12_13_YOU,R_12_12_GOOD)
& good(R_12_12_GOOD)
& qual34(R_12_12_GOOD,R_12_11_HOW)
& at_nim47(R_12_14_ARE,R_12_17_ONE) ) )
& arg1(ARG1)
& tell(R_12_9_TELL,Z_12_A_FCE_100_2000_6_1)
& arg2(R_12_9_TELL,R_12_10_US) ) ).
( (IP-IMP (FRM Please)
(ILYR (ILYR (VB;_Tn_ choose;{choose})
(NP-OB1;{ACTIVITY} (NUM;_nphd_ two;{two}))
(PP-NIM (P-ROLE from;{from})
(NP (D the;{the})
(N list;{list})
(ADVP (ADV below;{below})))))
(CONJP (CONJ and;{and})
(ILYR (VB;_Dn.w_ tell;{tell})
(NP-OB2 (PRO us;{we}))
(CP-QUE-OB1 (IP-SUB (ADJP-PRD (ADVP (WADV how;{how}))
(ADJ good;{good}))
(NP-SBJ (PRO you;{you}))
(BEP;_La_ are;{be})
(PP-NIM (P-ROLE at;{at})
(NP;{ACTIVITY} (Q each;{each})
(N one;{one}))))))))
(PUNC .))
(ID 12_a_fce_0100_2000_06))