3_a_fce_0100_2000_12
Your English class is going to spend three days in London.
( (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))
arc(r_0003_0003__class,r_0003_0001__Your,gen).
arc(r_0003_0003__class,r_0003_0002__English,attrib).
arc(r_0003_0004__is,r_0003_0005__going,scope).
arc(r_0003_0005__going,r_0003_0007__spend,scope).
arc(r_0003_0007__spend,r_0003_0003__class,arg0).
arc(r_0003_0007__spend,r_0003_0008__three_r_0003_0009__days,arg1).
arc(r_0003_0007__spend,r_0003_0011__London,r_0003_0010__in__nim).
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_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_0007__spend(R_0003_0004__IS_R_0003_0005__GOING_R_0003_0007__SPEND)
& has_r_0003_0010__in__nim(R_0003_0004__IS_R_0003_0005__GOING_R_0003_0007__SPEND,R_0003_0011__LONDON)
& has_arg1(R_0003_0004__IS_R_0003_0005__GOING_R_0003_0007__SPEND,R_0003_0008__THREE_R_0003_0009__DAYS)
& has_arg0(R_0003_0004__IS_R_0003_0005__GOING_R_0003_0007__SPEND,R_0003_0003__CLASS)
& r_0003_0003__class(R_0003_0003__CLASS)
& has_attrib(R_0003_0003__CLASS,R_0003_0002__ENGLISH)
& has_gen(R_0003_0003__CLASS,R_0003_0001__YOUR) ) ).