3_a_fce_0100_2000_12
Your English class is going to spend three days in London.
arc(r_0003_0003__class, r_0003_0001__Your, gen).
arc(r_0003_0003__class, r_0003_0002__English, attrib6).
arc(r_0003_0004__is, r_0003_0005__going, scope).
arc(r_0003_0005__going, r_0003_0006__to_r_0003_0007__spend, scope).
arc(r_0003_0006__to_r_0003_0007__spend, r_0003_0003__class, arg0).
arc(r_0003_0006__to_r_0003_0007__spend, r_0003_0008__three_r_0003_0009__days, arg1).
arc(r_0003_0006__to_r_0003_0007__spend, r_0003_0011__London, r_0003_0010__in_nim29).
fof(formula,axiom,
? [R_0003_0001__YOUR,R_0003_0002__ENGLISH,R_0003_0003__CLASS,R_0003_0008__THREE_R_0003_0009__DAYS,R_0003_0011__LONDON,R_0003_0004__IS_R_0003_0005__GOING_R_0003_0006__TO_R_0003_0007__SPEND] :
( r_0003_0001__Your(R_0003_0001__YOUR)
& r_0003_0002__English(R_0003_0002__ENGLISH)
& r_0003_0008__three_r_0003_0009__days(R_0003_0008__THREE_R_0003_0009__DAYS)
& r_0003_0011__London(R_0003_0011__LONDON)
& r_0003_0004__is_r_0003_0005__going_r_0003_0006__to_r_0003_0007__spend(R_0003_0004__IS_R_0003_0005__GOING_R_0003_0006__TO_R_0003_0007__SPEND)
& has_r_0003_0010__in_nim29(R_0003_0004__IS_R_0003_0005__GOING_R_0003_0006__TO_R_0003_0007__SPEND,R_0003_0011__LONDON)
& has_arg1(R_0003_0004__IS_R_0003_0005__GOING_R_0003_0006__TO_R_0003_0007__SPEND,R_0003_0008__THREE_R_0003_0009__DAYS)
& has_arg0(R_0003_0004__IS_R_0003_0005__GOING_R_0003_0006__TO_R_0003_0007__SPEND,R_0003_0003__CLASS)
& r_0003_0003__class(R_0003_0003__CLASS)
& has_attrib6(R_0003_0003__CLASS,R_0003_0002__ENGLISH)
& has_gen(R_0003_0003__CLASS,R_0003_0001__YOUR) ) ).
( (IP-MAT (NP-SBJ;{CLASS} (NP-GEN (PRO;_genm_ Your;{your}))
(ADJP (ADJ English;{english}))
(N class;{class}))
(BEP;_cat_Vg_ is;{be})
(IP-PPL-CAT (VAG;_cat_Vt_ going;{go})
(IP-INF-CAT (TO to;{to})
(VB;_Tn.pr_ spend;{spend})
(NP-OB1 (NUM three;{three})
(NS days;{day}))
(PP-NIM (P-ROLE in;{in})
(NP (NPR London;{London})))))
(PUNC .))
(ID 3_a_fce_0100_2000_12))