60_a_dick_1952
“Turn the ship and let's see what it is!”
arc(r_0060_0002__Turn, r_0060_0003__the_r_0060_0004__ship, arg1).
arc(r_0060_0002__Turn, z_000_60_a_dick_1952_1, arg0).
arc(r_0060_0005__and, r_0060_0002__Turn, conj1).
arc(r_0060_0005__and, r_0060_0006__let, conj2).
arc(r_0060_0006__let, r_0060_0007___apos_s, arg1).
arc(r_0060_0006__let, r_0060_0008__see, prd).
arc(r_0060_0006__let, z_000_60_a_dick_1952_1, arg0).
arc(r_0060_0008__see, r_0060_0011__is, arg1).
arc(r_0060_0008__see, x_000_60_a_dick_1952_22, arg0).
arc(r_0060_0011__is, r_0060_0009__what, prd).
arc(r_0060_0011__is, r_0060_0010__it, arg0).
fof(formula,axiom,
? [R_60_5_AND,R_60_2_TURN,R_60_3_THE_SHIP,R_60_6_LET,Z_60_A_DICK_1952_1,R_60_7__APOS_S,R_60_8_SEE,X_60_A_DICK_1952_22,R_60_11_IS,R_60_10_IT,R_60_9_WHAT] :
( the_ship(R_60_3_THE_SHIP)
& _apos_s(R_60_7__APOS_S)
& it(R_60_10_IT)
& what(R_60_9_WHAT)
& and(R_60_5_AND)
& conj1(R_60_5_AND,R_60_2_TURN)
& turn(R_60_2_TURN,Z_60_A_DICK_1952_1,R_60_3_THE_SHIP)
& conj2(R_60_5_AND,R_60_6_LET)
& let(R_60_6_LET,Z_60_A_DICK_1952_1,R_60_7__APOS_S,R_60_8_SEE)
& see(R_60_8_SEE,X_60_A_DICK_1952_22,R_60_11_IS)
& is(R_60_11_IS,R_60_10_IT,R_60_9_WHAT) ) ).
( (IP-IMP (PULQ <ldquo>)
(ILYR (ILYR (VB;_Tn_ Turn;{turn})
(NP-OB1 (D the;{the})
(N ship;{ship})))
(CONJP (CONJ and;{and})
(ILYR (VB;_Cn.i_ let;{let})
(NP-OB1;{TRESPASSERS} (PRO <apos>s;{we}))
(IP-INF-PRD (VB;_Tw_ see;{see})
(CP-QUE-OB1 (IP-SUB (NP-PRD (WPRO what;{what}))
(NP-SBJ;{THING} (PRO it;{it}))
(BEP;_Ln_ is;{be})))))))
(PUNC !)
(PURQ <rdquo>))
(ID 60_a_dick_1952))