106_a_joyce_1914
I noticed how clumsily her skirt was hooked at the back and how the heels of her cloth boots were trodden down all to one side.
arc(r_0106_0002__noticed, r_0106_0001__I, arg0).
arc(r_0106_0002__noticed, r_0106_0012__and, arg1).
arc(r_0106_0004__clumsily, r_0106_0003__how, qual12).
arc(r_0106_0006__skirt, r_0106_0005__her, gen).
arc(r_0106_0007__was, r_0106_0004__clumsily, nim11).
arc(r_0106_0007__was, r_0106_0008__hooked, scope).
arc(r_0106_0008__hooked, r_0106_0006__skirt, arg1).
arc(r_0106_0008__hooked, r_0106_0010__the_r_0106_0011__back, r_0106_0009__at_nim33).
arc(r_0106_0008__hooked, z_000_106_a_joyce_1914_26, arg0).
arc(r_0106_0012__and, r_0106_0007__was, conj1).
arc(r_0106_0012__and, r_0106_0020__were, conj2).
arc(r_0106_0014__the_r_0106_0015__heels, r_0106_0018__cloth_r_0106_0019__boots, r_0106_0016__of).
arc(r_0106_0018__cloth_r_0106_0019__boots, r_0106_0017__her, gen).
arc(r_0106_0020__were, r_0106_0013__how, nim42).
arc(r_0106_0020__were, r_0106_0023__all_quant, scope).
arc(r_0106_0021__trodden_r_0106_0022__down, r_0106_0014__the_r_0106_0015__heels, arg1).
arc(r_0106_0021__trodden_r_0106_0022__down, z_000_106_a_joyce_1914_64, arg0).
arc(r_0106_0021__trodden_r_0106_0022__down, z_000_106_a_joyce_1914_70, nim70).
arc(r_0106_0023__all_quant, r_0106_0021__trodden_r_0106_0022__down, scope).
arc(r_0106_0023__all_quant, z_000_106_a_joyce_1914_70, restriction).
arc(z_000_106_a_joyce_1914_70, r_0106_0025__one_r_0106_0026__side, r_0106_0024__to).
fof(formula,axiom,
? [R_106_2_NOTICED,R_106_1_I,R_106_12_AND,R_106_7_WAS_HOOKED,Z_106_A_JOYCE_1914_26,R_106_6_SKIRT,R_106_5_HER,R_106_4_CLUMSILY,R_106_3_HOW,R_106_10_THE_BACK,R_106_13_HOW] :
( i(R_106_1_I)
& her(R_106_5_HER)
& how(R_106_3_HOW)
& the_back(R_106_10_THE_BACK)
& how(R_106_13_HOW)
& noticed(R_106_2_NOTICED,R_106_1_I,R_106_12_AND)
& and(R_106_12_AND)
& conj1(R_106_12_AND,R_106_7_WAS_HOOKED)
& was_hooked(R_106_7_WAS_HOOKED,Z_106_A_JOYCE_1914_26,R_106_6_SKIRT)
& skirt(R_106_6_SKIRT)
& gen(R_106_6_SKIRT,R_106_5_HER)
& nim11(R_106_7_WAS_HOOKED,R_106_4_CLUMSILY)
& clumsily(R_106_4_CLUMSILY)
& qual12(R_106_4_CLUMSILY,R_106_3_HOW)
& at_nim33(R_106_7_WAS_HOOKED,R_106_10_THE_BACK)
& conj2(R_106_12_AND,R_106_20_WERE)
& ! [Z_106_A_JOYCE_1914_70,R_106_25_ONE_SIDE] :
( ( one_side(R_106_25_ONE_SIDE)
& z_106_a_joyce_1914_70(Z_106_A_JOYCE_1914_70)
& to(Z_106_A_JOYCE_1914_70,R_106_25_ONE_SIDE) )
=> ? [R_106_21_TRODDEN_DOWN,Z_106_A_JOYCE_1914_64,R_106_14_THE_HEELS,R_106_18_CLOTH_BOOTS,R_106_17_HER] :
( her(R_106_17_HER)
& trodden_down(R_106_21_TRODDEN_DOWN,Z_106_A_JOYCE_1914_64,R_106_14_THE_HEELS)
& the_heels(R_106_14_THE_HEELS)
& of(R_106_14_THE_HEELS,R_106_18_CLOTH_BOOTS)
& cloth_boots(R_106_18_CLOTH_BOOTS)
& gen(R_106_18_CLOTH_BOOTS,R_106_17_HER)
& nim70(R_106_21_TRODDEN_DOWN,Z_106_A_JOYCE_1914_70) ) ) ) ).
( (IP-MAT (NP-SBJ (PRO I;{I}))
(VBD;_Tw_ noticed;{notice})
(CP-QUE-OB1 (IP-SUB (ILYR (ILYR (ADVP-NIM (ADVP (WADV how;{how}))
(ADV clumsily;{clumsily}))
(NP-SBJ (NP-GEN;{NANNIE} (PRO;_genm_ her;{her}))
(N skirt;{skirt}))
(BED;_cat_VePASS_ was;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ hooked;{hook})
(PP-NIM (P-ROLE at;{at})
(NP (D the;{the})
(N back;{back})))))
(CONJP (CONJ and;{and})
(ILYR (ADVP-NIM (WADV how;{how}))
(NP-SBJ (D the;{the})
(NS heels;{heel})
(PP (P-ROLE of;{of})
(NP (NP-GEN;{NANNIE} (PRO;_genm_ her;{her}))
(N cloth;{cloth})
(NS boots;{boot}))))
(BED;_cat_VePASS_ were;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Ip_ trodden;{tread[down]})
(RP down;{down})
(NP-NIM (Q;_nphd_ all;{all})
(PP (P-ROLE to;{to})
(NP (NUM one;{one})
(N side;{side}))))))))))
(PUNC .))
(ID 106_a_joyce_1914))