105_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.
( (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 105_a_joyce_1914))
arc(r_0105_0002__noticed,r_0105_0001__I,arg0).
arc(r_0105_0002__noticed,r_0105_0012__and,arg1).
arc(r_0105_0004__clumsily,r_0105_0003__how,qual).
arc(r_0105_0006__skirt,r_0105_0005__her,gen).
arc(r_0105_0007__was,r_0105_0004__clumsily,nim).
arc(r_0105_0007__was,r_0105_0008__hooked,scope).
arc(r_0105_0008__hooked,r_0105_0006__skirt,arg1).
arc(r_0105_0008__hooked,r_0105_0010__the_r_0105_0011__back,r_0105_0009__at__nim).
arc(r_0105_0008__hooked,z_0105_5007___star_,arg0).
arc(r_0105_0012__and,r_0105_0007__was,conj1).
arc(r_0105_0012__and,r_0105_0023__all__quant,conj2).
arc(r_0105_0014__the_r_0105_0015__heels,r_0105_0018__cloth_r_0105_0019__boots,r_0105_0016__of).
arc(r_0105_0018__cloth_r_0105_0019__boots,r_0105_0005__her,gen).
arc(r_0105_0020__were,r_0105_0013__how,nim).
arc(r_0105_0020__were,r_0105_0021__trodden_r_0105_0022__down,scope).
arc(r_0105_0021__trodden_r_0105_0022__down,r_0105_0014__the_r_0105_0015__heels,arg1).
arc(r_0105_0021__trodden_r_0105_0022__down,z_0105_5017,nim).
arc(r_0105_0021__trodden_r_0105_0022__down,z_0105_5019___star_,arg0).
arc(r_0105_0023__all__quant,r_0105_0020__were,scope).
arc(r_0105_0023__all__quant,z_0105_5017,restriction).
arc(z_0105_5017,r_0105_0025__one_r_0105_0026__side,r_0105_0024__to).
fof(formula,axiom,
? [R_0105_0001__I,R_0105_0003__HOW,R_0105_0004__CLUMSILY,R_0105_0005__HER,R_0105_0006__SKIRT,R_0105_0010__THE_R_0105_0011__BACK,Z_0105_5007___STAR_,R_0105_0007__WAS_R_0105_0008__HOOKED,R_0105_0012__AND,R_0105_0002__NOTICED] :
( r_0105_0001__I(R_0105_0001__I)
& r_0105_0003__how(R_0105_0003__HOW)
& r_0105_0005__her(R_0105_0005__HER)
& r_0105_0010__the_r_0105_0011__back(R_0105_0010__THE_R_0105_0011__BACK)
& z_0105_5007___star_(Z_0105_5007___STAR_)
& ~ ( has_arg1(R_0105_0002__NOTICED,R_0105_0012__AND)
& r_0105_0012__and(R_0105_0012__AND)
& ! [Z_0105_5017,R_0105_0025__ONE_R_0105_0026__SIDE] :
( ( r_0105_0025__one_r_0105_0026__side(R_0105_0025__ONE_R_0105_0026__SIDE)
& z_0105_5017(Z_0105_5017)
& has_r_0105_0024__to(Z_0105_5017,R_0105_0025__ONE_R_0105_0026__SIDE) )
=> ? [R_0105_0013__HOW,R_0105_0018__CLOTH_R_0105_0019__BOOTS,R_0105_0014__THE_R_0105_0015__HEELS,Z_0105_5019___STAR_,R_0105_0020__WERE_R_0105_0021__TRODDEN_R_0105_0022__DOWN] :
( r_0105_0013__how(R_0105_0013__HOW)
& z_0105_5019___star_(Z_0105_5019___STAR_)
& r_0105_0020__were_r_0105_0021__trodden_r_0105_0022__down(R_0105_0020__WERE_R_0105_0021__TRODDEN_R_0105_0022__DOWN)
& has_arg0(R_0105_0020__WERE_R_0105_0021__TRODDEN_R_0105_0022__DOWN,Z_0105_5019___STAR_)
& has_nim(R_0105_0020__WERE_R_0105_0021__TRODDEN_R_0105_0022__DOWN,Z_0105_5017)
& has_arg1(R_0105_0020__WERE_R_0105_0021__TRODDEN_R_0105_0022__DOWN,R_0105_0014__THE_R_0105_0015__HEELS)
& r_0105_0014__the_r_0105_0015__heels(R_0105_0014__THE_R_0105_0015__HEELS)
& has_r_0105_0016__of(R_0105_0014__THE_R_0105_0015__HEELS,R_0105_0018__CLOTH_R_0105_0019__BOOTS)
& r_0105_0018__cloth_r_0105_0019__boots(R_0105_0018__CLOTH_R_0105_0019__BOOTS)
& has_gen(R_0105_0018__CLOTH_R_0105_0019__BOOTS,R_0105_0005__HER)
& has_nim(R_0105_0020__WERE_R_0105_0021__TRODDEN_R_0105_0022__DOWN,R_0105_0013__HOW) ) )
& has_conj1(R_0105_0012__AND,R_0105_0007__WAS_R_0105_0008__HOOKED)
& r_0105_0007__was_r_0105_0008__hooked(R_0105_0007__WAS_R_0105_0008__HOOKED)
& has_arg0(R_0105_0007__WAS_R_0105_0008__HOOKED,Z_0105_5007___STAR_)
& has_r_0105_0009__at__nim(R_0105_0007__WAS_R_0105_0008__HOOKED,R_0105_0010__THE_R_0105_0011__BACK)
& has_arg1(R_0105_0007__WAS_R_0105_0008__HOOKED,R_0105_0006__SKIRT)
& r_0105_0006__skirt(R_0105_0006__SKIRT)
& has_gen(R_0105_0006__SKIRT,R_0105_0005__HER)
& has_nim(R_0105_0007__WAS_R_0105_0008__HOOKED,R_0105_0004__CLUMSILY)
& r_0105_0004__clumsily(R_0105_0004__CLUMSILY)
& has_qual(R_0105_0004__CLUMSILY,R_0105_0003__HOW)
& has_arg0(R_0105_0002__NOTICED,R_0105_0001__I) ) ) ).