54_a_joyce_1914
It was late when I fell asleep.
( (IP-MAT (NP-SBJ (PRO;_expletive_ It;{it}))
(BED;_La_ was;{be})
(ADJP-PRD (ADJ late;{late}))
(NP-NIM (IP-REL (ADVP-NIM (RADV when;{when}))
(NP-SBJ (PRO I;{I}))
(VBD;_La_ fell;{fall})
(ADJP-PRD (ADJ asleep;{asleep}))))
(PUNC .))
(ID 54_a_joyce_1914))
arc(r_0054_0002__was,r_0054_0003__late,prd).
arc(r_0054_0002__was,r_0054_0004__when,nim).
arc(r_0054_0006__fell,r_0054_0004__when,nim).
arc(r_0054_0006__fell,r_0054_0005__I,arg0).
arc(r_0054_0006__fell,r_0054_0007__asleep,prd).
fof(formula,axiom,
? [R_0054_0003__LATE,R_0054_0004__WHEN,R_0054_0002__WAS,R_0054_0005__I,R_0054_0007__ASLEEP,R_0054_0006__FELL] :
( r_0054_0003__late(R_0054_0003__LATE)
& r_0054_0004__when(R_0054_0004__WHEN)
& r_0054_0005__I(R_0054_0005__I)
& r_0054_0007__asleep(R_0054_0007__ASLEEP)
& r_0054_0006__fell(R_0054_0006__FELL)
& has_prd(R_0054_0006__FELL,R_0054_0007__ASLEEP)
& has_arg0(R_0054_0006__FELL,R_0054_0005__I)
& has_nim(R_0054_0006__FELL,R_0054_0004__WHEN)
& r_0054_0002__was(R_0054_0002__WAS)
& has_nim(R_0054_0002__WAS,R_0054_0004__WHEN)
& has_prd(R_0054_0002__WAS,R_0054_0003__LATE) ) ).