25_a_lob_a01
African delegates are studying them today.
( (IP-MAT (NP-SBJ (ADJP (ADJ African;{african}))
(NS delegates;{delegate}))
(BEP;_cat_Vg_ are;{be})
(IP-PPL-CAT (VAG;_Tn_ studying;{study})
(NP-OB1 (PRO them;{they}))
(ADVP-NIM (ADV today;{today})))
(PUNC .))
(ID 25_a_lob_a01))
arc(r_0025_0002__delegates,r_0025_0001__African,attrib).
arc(r_0025_0003__are,r_0025_0004__studying,scope).
arc(r_0025_0004__studying,r_0025_0002__delegates,arg0).
arc(r_0025_0004__studying,r_0025_0005__them,arg1).
arc(r_0025_0004__studying,r_0025_0006__today,nim).
fof(formula,axiom,
? [R_0025_0001__AFRICAN,R_0025_0002__DELEGATES,R_0025_0005__THEM,R_0025_0006__TODAY,R_0025_0003__ARE_R_0025_0004__STUDYING] :
( r_0025_0001__African(R_0025_0001__AFRICAN)
& r_0025_0005__them(R_0025_0005__THEM)
& r_0025_0006__today(R_0025_0006__TODAY)
& r_0025_0003__are_r_0025_0004__studying(R_0025_0003__ARE_R_0025_0004__STUDYING)
& has_nim(R_0025_0003__ARE_R_0025_0004__STUDYING,R_0025_0006__TODAY)
& has_arg1(R_0025_0003__ARE_R_0025_0004__STUDYING,R_0025_0005__THEM)
& has_arg0(R_0025_0003__ARE_R_0025_0004__STUDYING,R_0025_0002__DELEGATES)
& r_0025_0002__delegates(R_0025_0002__DELEGATES)
& has_attrib(R_0025_0002__DELEGATES,R_0025_0001__AFRICAN) ) ).