542_a_dick_1952
Let's go back to the ship and load up.
( (IP-IMP (VB;_Cn.i_ Let;{let})
(NP-OB1;{DORLE+NASHA+TANCE} (PRO <apos>s;{we}))
(IP-INF-PRD (ILYR (ILYR (VB;_Ip_ go;{go[back]})
(ADVP-CLR (ADV back;{back})
(PP (P-ROLE to;{to})
(NP (D the;{the})
(N ship;{ship})))))
(CONJP (CONJ and;{and})
(ILYR (VB;_phr_Vp_ load;{load[up]})
(RP up;{up})))))
(PUNC .))
(ID 542_a_dick_1952))
arc(r_0542_0001__Let,r_0542_0002___apos_s,arg1).
arc(r_0542_0001__Let,r_0542_0008__and,prd).
arc(r_0542_0001__Let,z_0542_5002,arg0).
arc(r_0542_0003__go,r_0542_0004__back,clr).
arc(r_0542_0003__go,z_0542_5005,arg0).
arc(r_0542_0004__back,r_0542_0006__the_r_0542_0007__ship,r_0542_0005__to).
arc(r_0542_0008__and,r_0542_0003__go,conj1).
arc(r_0542_0008__and,r_0542_0009__load_r_0542_0010__up,conj2).
arc(r_0542_0009__load_r_0542_0010__up,z_0542_5005,arg0).
fof(formula,axiom,
? [R_0542_0002___APOS_S,R_0542_0006__THE_R_0542_0007__SHIP,R_0542_0004__BACK,Z_0542_5005,R_0542_0003__GO,R_0542_0009__LOAD_R_0542_0010__UP,R_0542_0008__AND,Z_0542_5002,R_0542_0001__LET] :
( r_0542_0002___apos_s(R_0542_0002___APOS_S)
& r_0542_0006__the_r_0542_0007__ship(R_0542_0006__THE_R_0542_0007__SHIP)
& z_0542_5002(Z_0542_5002)
& z_0542_5005(Z_0542_5005)
& r_0542_0001__Let(R_0542_0001__LET)
& has_arg0(R_0542_0001__LET,Z_0542_5002)
& has_prd(R_0542_0001__LET,R_0542_0008__AND)
& r_0542_0008__and(R_0542_0008__AND)
& has_conj2(R_0542_0008__AND,R_0542_0009__LOAD_R_0542_0010__UP)
& r_0542_0009__load_r_0542_0010__up(R_0542_0009__LOAD_R_0542_0010__UP)
& has_arg0(R_0542_0009__LOAD_R_0542_0010__UP,Z_0542_5005)
& has_conj1(R_0542_0008__AND,R_0542_0003__GO)
& r_0542_0003__go(R_0542_0003__GO)
& has_arg0(R_0542_0003__GO,Z_0542_5005)
& has_clr(R_0542_0003__GO,R_0542_0004__BACK)
& r_0542_0004__back(R_0542_0004__BACK)
& has_r_0542_0005__to(R_0542_0004__BACK,R_0542_0006__THE_R_0542_0007__SHIP)
& has_arg1(R_0542_0001__LET,R_0542_0002___APOS_S) ) ).