542_a_dick_1952
Let's go back to the ship and load up.
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_000_542_a_dick_1952_1, arg0).
arc(r_0542_0003__go, r_0542_0004__back, clr12).
arc(r_0542_0003__go, x_000_542_a_dick_1952_7, 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, x_000_542_a_dick_1952_7, arg0).
fof(formula,axiom,
? [R_0542_0002___APOS_S,R_0542_0006__THE_R_0542_0007__SHIP,R_0542_0004__BACK,X_000_542_A_DICK_1952_7,R_0542_0003__GO,R_0542_0009__LOAD_R_0542_0010__UP,R_0542_0008__AND,Z_000_542_A_DICK_1952_1,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)
& x_000_542_a_dick_1952_7(X_000_542_A_DICK_1952_7)
& z_000_542_a_dick_1952_1(Z_000_542_A_DICK_1952_1)
& r_0542_0001__Let(R_0542_0001__LET)
& has_arg0(R_0542_0001__LET,Z_000_542_A_DICK_1952_1)
& 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,X_000_542_A_DICK_1952_7)
& has_conj1(R_0542_0008__AND,R_0542_0003__GO)
& r_0542_0003__go(R_0542_0003__GO)
& has_arg0(R_0542_0003__GO,X_000_542_A_DICK_1952_7)
& has_clr12(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) ) ).
( (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))