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_92_10_BOWED,Z_92_A_LOB_A02_17,R_92_7_KNEELING,R_92_9_HEADS,R_92_4_GREETED,R_92_1_FORTY_AFRICANS,R_92_2_OTHER,R_92_5_HIM] :
( heads(R_92_9_HEADS)
& other(R_92_2_OTHER)
& him(R_92_5_HIM)
& bowed(R_92_10_BOWED,R_92_9_HEADS)
& z_92_a_lob_a02_17(Z_92_A_LOB_A02_17)
& conj1(Z_92_A_LOB_A02_17,R_92_7_KNEELING)
& kneeling(R_92_7_KNEELING,R_92_1_FORTY_AFRICANS)
& forty_Africans(R_92_1_FORTY_AFRICANS)
& attrib5(R_92_1_FORTY_AFRICANS,R_92_2_OTHER)
& with_nim24(R_92_7_KNEELING,R_92_9_HEADS)
& conj2(Z_92_A_LOB_A02_17,R_92_4_GREETED)
& greeted(R_92_4_GREETED,R_92_1_FORTY_AFRICANS,R_92_5_HIM) ) ).
( (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))