92_a_lob_a02
Forty other Africans greeted him, kneeling with heads bowed.
arc(r_0092_0001__Forty_r_0092_0003__Africans, r_0092_0002__other, attrib5).
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_nim24).
arc(r_0092_0010__bowed, r_0092_0009__heads, arg0).
arc(z_000_92_a_lob_a02_17, r_0092_0004__greeted, scope).
arc(z_000_92_a_lob_a02_17, r_0092_0007__kneeling, restriction).
fof(formula,axiom,
? [R_0092_0009__HEADS,R_0092_0010__BOWED,R_0092_0002__OTHER,R_0092_0001__FORTY_R_0092_0003__AFRICANS,R_0092_0005__HIM,R_0092_0004__GREETED,R_0092_0007__KNEELING,Z_000_92_A_LOB_A02_17] :
( r_0092_0002__other(R_0092_0002__OTHER)
& r_0092_0005__him(R_0092_0005__HIM)
& r_0092_0009__heads(R_0092_0009__HEADS)
& z_000_92_a_lob_a02_17(Z_000_92_A_LOB_A02_17)
& has_conj1(Z_000_92_A_LOB_A02_17,R_0092_0007__KNEELING)
& r_0092_0007__kneeling(R_0092_0007__KNEELING)
& has_r_0092_0008__with_nim24(R_0092_0007__KNEELING,R_0092_0009__HEADS)
& 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_attrib5(R_0092_0001__FORTY_R_0092_0003__AFRICANS,R_0092_0002__OTHER)
& has_conj2(Z_000_92_A_LOB_A02_17,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)
& r_0092_0010__bowed(R_0092_0010__BOWED)
& has_arg0(R_0092_0010__BOWED,R_0092_0009__HEADS) ) ).
( (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))