185_a_joyce_1914
So then the clerk suggested to try the chapel.
arc(r_0185_0005__suggested, r_0185_0001__So, nim2).
arc(r_0185_0005__suggested, r_0185_0002__then, nim5).
arc(r_0185_0005__suggested, r_0185_0003__the_r_0185_0004__clerk, arg0).
arc(r_0185_0005__suggested, r_0185_0006__to_r_0185_0007__try, arg1).
arc(r_0185_0006__to_r_0185_0007__try, r_0185_0003__the_r_0185_0004__clerk, arg0).
arc(r_0185_0006__to_r_0185_0007__try, r_0185_0008__the_r_0185_0009__chapel, arg1).
fof(formula,axiom,
? [R_185_5_SUGGESTED,R_185_6_TO_TRY,R_185_3_THE_CLERK,R_185_8_THE_CHAPEL,R_185_1_SO,R_185_2_THEN] :
( the_clerk(R_185_3_THE_CLERK)
& the_chapel(R_185_8_THE_CHAPEL)
& so(R_185_1_SO)
& then(R_185_2_THEN)
& suggested(R_185_5_SUGGESTED,R_185_3_THE_CLERK,R_185_6_TO_TRY)
& to_try(R_185_6_TO_TRY,R_185_3_THE_CLERK,R_185_8_THE_CHAPEL)
& nim2(R_185_5_SUGGESTED,R_185_1_SO)
& nim5(R_185_5_SUGGESTED,R_185_2_THEN) ) ).
( (IP-MAT (ADVP-NIM (ADV So;{so}))
(ADVP-NIM (ADV then;{then}))
(NP-SBJ;{CLERK} (D the;{the})
(N clerk;{clerk}))
(VBD;_Tt_ suggested;{suggest})
(IP-INF-OB1 (TO to;{to})
(VB;_Tn_ try;{try})
(NP-OB1 (D the;{the})
(N chapel;{chapel})))
(PUNC .))
(ID 185_a_joyce_1914))