92_a_lob_a02
Forty other Africans greeted him, kneeling with heads bowed.
( (IP-MAT (NP-SBJ (NUM Forty;{forty})
(ADJP (ADJ other;{other}))
(NS Africans;{african}))
(VBD;__ greeted;{greet})
(NP-OB1;{FREDDIE} (PRO him;{he}))
(PUNC ,)
(PP-SCON (IP-PPL2 (VAG;__ kneeling;{kneel})
(PP-NIM (P-ROLE with;{with})
(NP (NS heads;{head})
(IP-PPL (VVN;__ bowed;{bow}))))))
(PUNC .))
(ID 92_a_lob_a02))
arc(r_0092_0001__Forty_r_0092_0003__Africans,r_0092_0002__other,attrib).
arc(r_0092_0004__greeted,r_0092_0001__Forty_r_0092_0003__Africans,arg0).
arc(r_0092_0004__greeted,r_0092_0005__him,arg1).
arc(r_0092_0007__kneeling,r_0092_0001__Forty_r_0092_0003__Africans,arg0).
arc(r_0092_0007__kneeling,r_0092_0009__heads,r_0092_0008__with__nim).
arc(r_0092_0010__bowed,r_0092_0009__heads,inv_arg0).
arc(z_0092_5003,r_0092_0004__greeted,scope).
arc(z_0092_5003,r_0092_0007__kneeling,restriction).
fof(formula,axiom,
? [R_0092_0002__OTHER,R_0092_0001__FORTY_R_0092_0003__AFRICANS,R_0092_0005__HIM,R_0092_0004__GREETED,R_0092_0010__BOWED,R_0092_0009__HEADS,R_0092_0007__KNEELING,Z_0092_5003] :
( r_0092_0002__other(R_0092_0002__OTHER)
& r_0092_0005__him(R_0092_0005__HIM)
& r_0092_0010__bowed(R_0092_0010__BOWED)
& z_0092_5003(Z_0092_5003)
& has_conj1(Z_0092_5003,R_0092_0007__KNEELING)
& r_0092_0007__kneeling(R_0092_0007__KNEELING)
& has_r_0092_0008__with__nim(R_0092_0007__KNEELING,R_0092_0009__HEADS)
& r_0092_0009__heads(R_0092_0009__HEADS)
& has_inv_arg0(R_0092_0009__HEADS,R_0092_0010__BOWED)
& has_arg0(R_0092_0007__KNEELING,R_0092_0001__FORTY_R_0092_0003__AFRICANS)
& r_0092_0001__Forty_r_0092_0003__Africans(R_0092_0001__FORTY_R_0092_0003__AFRICANS)
& has_attrib(R_0092_0001__FORTY_R_0092_0003__AFRICANS,R_0092_0002__OTHER)
& has_conj2(Z_0092_5003,R_0092_0004__GREETED)
& r_0092_0004__greeted(R_0092_0004__GREETED)
& has_arg1(R_0092_0004__GREETED,R_0092_0005__HIM)
& has_arg0(R_0092_0004__GREETED,R_0092_0001__FORTY_R_0092_0003__AFRICANS) ) ).