185_a_wilde_1_1888
Then the Swallow came back to the Prince.
( (IP-MAT (ADVP-NIM (ADV Then;{then}))
(NP-SBJ;{SWALLOW} (D the;{the})
(N Swallow;{swallow}))
(VBD;__ came;{come})
(RP back;{back})
(PP-NIM (P-ROLE to;{to})
(NP (D the;{the})
(N Prince;{prince})))
(PUNC .))
(ID 185_a_wilde_1_1888))
arc(r_0185_0004__came_r_0185_0005__back,r_0185_0001__Then,nim).
arc(r_0185_0004__came_r_0185_0005__back,r_0185_0002__the_r_0185_0003__Swallow,arg0).
arc(r_0185_0004__came_r_0185_0005__back,r_0185_0007__the_r_0185_0008__Prince,r_0185_0006__to__nim).
fof(formula,axiom,
? [R_0185_0001__THEN,R_0185_0002__THE_R_0185_0003__SWALLOW,R_0185_0007__THE_R_0185_0008__PRINCE,R_0185_0004__CAME_R_0185_0005__BACK] :
( r_0185_0001__Then(R_0185_0001__THEN)
& r_0185_0002__the_r_0185_0003__Swallow(R_0185_0002__THE_R_0185_0003__SWALLOW)
& r_0185_0007__the_r_0185_0008__Prince(R_0185_0007__THE_R_0185_0008__PRINCE)
& r_0185_0004__came_r_0185_0005__back(R_0185_0004__CAME_R_0185_0005__BACK)
& has_r_0185_0006__to__nim(R_0185_0004__CAME_R_0185_0005__BACK,R_0185_0007__THE_R_0185_0008__PRINCE)
& has_arg0(R_0185_0004__CAME_R_0185_0005__BACK,R_0185_0002__THE_R_0185_0003__SWALLOW)
& has_nim(R_0185_0004__CAME_R_0185_0005__BACK,R_0185_0001__THEN) ) ).