23_a_lob_a01
African delegates are studying them today.
arc(r_0023_0002__delegates, r_0023_0001__African, attrib3).
arc(r_0023_0003__are, r_0023_0004__studying, scope).
arc(r_0023_0004__studying, r_0023_0002__delegates, arg0).
arc(r_0023_0004__studying, r_0023_0005__them, arg1).
arc(r_0023_0004__studying, r_0023_0006__today, nim16).
fof(formula,axiom,
? [R_0023_0001__AFRICAN,R_0023_0002__DELEGATES,R_0023_0005__THEM,R_0023_0006__TODAY,R_0023_0003__ARE_R_0023_0004__STUDYING] :
( r_0023_0001__African(R_0023_0001__AFRICAN)
& r_0023_0005__them(R_0023_0005__THEM)
& r_0023_0006__today(R_0023_0006__TODAY)
& r_0023_0003__are_r_0023_0004__studying(R_0023_0003__ARE_R_0023_0004__STUDYING)
& has_nim16(R_0023_0003__ARE_R_0023_0004__STUDYING,R_0023_0006__TODAY)
& has_arg1(R_0023_0003__ARE_R_0023_0004__STUDYING,R_0023_0005__THEM)
& has_arg0(R_0023_0003__ARE_R_0023_0004__STUDYING,R_0023_0002__DELEGATES)
& r_0023_0002__delegates(R_0023_0002__DELEGATES)
& has_attrib3(R_0023_0002__DELEGATES,R_0023_0001__AFRICAN) ) ).
( (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 23_a_lob_a01))