32_a_lob_n02
With an air of resignation he sent Judy, his Boxer, to the back, and made room for her beside him.
arc(r_0032_0002__an_r_0032_0003__air, r_0032_0005__resignation, r_0032_0004__of).
arc(r_0032_0007__sent, r_0032_0002__an_r_0032_0003__air, r_0032_0001__With_nim5).
arc(r_0032_0007__sent, r_0032_0006__he, arg0).
arc(r_0032_0007__sent, r_0032_0008__Judy, arg1).
arc(r_0032_0007__sent, r_0032_0014__the_r_0032_0015__back, r_0032_0013__to_clr40).
arc(r_0032_0011__Boxer, r_0032_0006__he, gen).
arc(r_0032_0017__and, r_0032_0007__sent, conj1).
arc(r_0032_0017__and, r_0032_0018__made, conj2).
arc(r_0032_0018__made, r_0032_0002__an_r_0032_0003__air, r_0032_0001__With_nim5).
arc(r_0032_0018__made, r_0032_0006__he, arg0).
arc(r_0032_0018__made, r_0032_0019__room, arg1).
arc(r_0032_0019__room, z_000_32_a_lob_n02_59, r_0032_0020__for).
arc(z_000_32_a_lob_n02_28, r_0032_0008__Judy, arg0).
arc(z_000_32_a_lob_n02_28, r_0032_0011__Boxer, prd).
arc(z_000_32_a_lob_n02_59, r_0032_0006__he, r_0032_0022__beside).
arc(z_000_32_a_lob_n02_59, r_0032_0021__her, gen).
fof(formula,axiom,
? [R_32_17_AND,R_32_7_SENT,R_32_14_THE_BACK,R_32_18_MADE,R_32_19_ROOM,Z_32_A_LOB_N02_59,R_32_21_HER,R_32_2_AN_AIR,R_32_5_RESIGNATION,Z_32_A_LOB_N02_28,R_32_8_JUDY,R_32_11_BOXER,R_32_6_HE] :
( the_back(R_32_14_THE_BACK)
& her(R_32_21_HER)
& resignation(R_32_5_RESIGNATION)
& judy(R_32_8_JUDY)
& he(R_32_6_HE)
& and(R_32_17_AND)
& conj1(R_32_17_AND,R_32_7_SENT)
& sent(R_32_7_SENT,R_32_6_HE,R_32_8_JUDY)
& with_nim5(R_32_7_SENT,R_32_2_AN_AIR)
& an_air(R_32_2_AN_AIR)
& of(R_32_2_AN_AIR,R_32_5_RESIGNATION)
& to_clr40(R_32_7_SENT,R_32_14_THE_BACK)
& conj2(R_32_17_AND,R_32_18_MADE)
& made(R_32_18_MADE,R_32_6_HE,R_32_19_ROOM)
& room(R_32_19_ROOM)
& for(R_32_19_ROOM,Z_32_A_LOB_N02_59)
& z_32_a_lob_n02_59(Z_32_A_LOB_N02_59)
& gen(Z_32_A_LOB_N02_59,R_32_21_HER)
& beside(Z_32_A_LOB_N02_59,R_32_6_HE)
& with_nim5(R_32_18_MADE,R_32_2_AN_AIR)
& z_32_a_lob_n02_28(Z_32_A_LOB_N02_28,R_32_8_JUDY,R_32_11_BOXER)
& boxer(R_32_11_BOXER)
& gen(R_32_11_BOXER,R_32_6_HE) ) ).
( (IP-MAT (PP-NIM (P-ROLE With;{with})
(NP (D an;{an})
(N air;{air})
(PP (P-ROLE of;{of})
(NP (N resignation;{resignation})))))
(NP-SBJ;{PIERS} (PRO he;{he}))
(ILYR (ILYR (VBD;_Tn.pr_ sent;{send[to]})
(NP-OB1;{JUDY} (NPR Judy;{Judy})
(PUNC ,)
(IP-PPL (NP-PRD (NP-GEN;{PIERS} (PRO;_genm_ his;{his}))
(NPR Boxer;{Boxer}))))
(PUNC ,)
(PP-CLR (P-ROLE to;{to})
(NP (D the;{the})
(N back;{back}))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (VBD;_Tn_ made;{make})
(NP-OB1 (N room;{room})
(PP (P-ROLE for;{for})
(NP (NP-GEN;{BERYL} (PRO;_genm_ her;{her}))
(PP (P-ROLE beside;{beside})
(NP;{PIERS} (PRO him;{he})))))))))
(PUNC .))
(ID 32_a_lob_n02))