615_a_dick_1952
Down below, in the center of the ruined city, a single half - broken detector vane moved slightly, catching the roar of the ship.
arc(r_0615_0002__below, r_0615_0001__Down, qual3).
arc(r_0615_0005__the_r_0615_0006__center, r_0615_0008__the_r_0615_0010__city, r_0615_0007__of).
arc(r_0615_0008__the_r_0615_0010__city, r_0615_0009__ruined, attrib24).
arc(r_0615_0012__a_r_0615_0017__detector_r_0615_0018__vane, r_0615_0013__single, attrib34).
arc(r_0615_0016__broken, r_0615_0012__a_r_0615_0017__detector_r_0615_0018__vane, arg1).
arc(r_0615_0016__broken, r_0615_0014__half, nim40).
arc(r_0615_0016__broken, z_000_615_a_dick_1952_38, arg0).
arc(r_0615_0019__moved, r_0615_0002__below, nim2).
arc(r_0615_0019__moved, r_0615_0005__the_r_0615_0006__center, r_0615_0004__in_nim13).
arc(r_0615_0019__moved, r_0615_0012__a_r_0615_0017__detector_r_0615_0018__vane, arg0).
arc(r_0615_0019__moved, r_0615_0020__slightly, nim53).
arc(r_0615_0022__catching, r_0615_0012__a_r_0615_0017__detector_r_0615_0018__vane, arg0).
arc(r_0615_0022__catching, r_0615_0023__the_r_0615_0024__roar, arg1).
arc(r_0615_0023__the_r_0615_0024__roar, r_0615_0026__the_r_0615_0027__ship, r_0615_0025__of).
arc(z_000_615_a_dick_1952_58, r_0615_0019__moved, scope).
arc(z_000_615_a_dick_1952_58, r_0615_0022__catching, restriction).
fof(formula,axiom,
? [R_0615_0013__SINGLE,R_0615_0012__A_R_0615_0017__DETECTOR_R_0615_0018__VANE,R_0615_0014__HALF,Z_000_615_A_DICK_1952_38,R_0615_0016__BROKEN,R_0615_0001__DOWN,R_0615_0002__BELOW,R_0615_0009__RUINED,R_0615_0008__THE_R_0615_0010__CITY,R_0615_0005__THE_R_0615_0006__CENTER,R_0615_0020__SLIGHTLY,R_0615_0019__MOVED,R_0615_0026__THE_R_0615_0027__SHIP,R_0615_0023__THE_R_0615_0024__ROAR,R_0615_0022__CATCHING,Z_000_615_A_DICK_1952_58] :
( r_0615_0001__Down(R_0615_0001__DOWN)
& r_0615_0009__ruined(R_0615_0009__RUINED)
& r_0615_0013__single(R_0615_0013__SINGLE)
& r_0615_0014__half(R_0615_0014__HALF)
& r_0615_0020__slightly(R_0615_0020__SLIGHTLY)
& r_0615_0026__the_r_0615_0027__ship(R_0615_0026__THE_R_0615_0027__SHIP)
& z_000_615_a_dick_1952_38(Z_000_615_A_DICK_1952_38)
& z_000_615_a_dick_1952_58(Z_000_615_A_DICK_1952_58)
& has_conj1(Z_000_615_A_DICK_1952_58,R_0615_0022__CATCHING)
& r_0615_0022__catching(R_0615_0022__CATCHING)
& has_arg1(R_0615_0022__CATCHING,R_0615_0023__THE_R_0615_0024__ROAR)
& r_0615_0023__the_r_0615_0024__roar(R_0615_0023__THE_R_0615_0024__ROAR)
& has_r_0615_0025__of(R_0615_0023__THE_R_0615_0024__ROAR,R_0615_0026__THE_R_0615_0027__SHIP)
& has_arg0(R_0615_0022__CATCHING,R_0615_0012__A_R_0615_0017__DETECTOR_R_0615_0018__VANE)
& r_0615_0012__a_r_0615_0017__detector_r_0615_0018__vane(R_0615_0012__A_R_0615_0017__DETECTOR_R_0615_0018__VANE)
& has_attrib34(R_0615_0012__A_R_0615_0017__DETECTOR_R_0615_0018__VANE,R_0615_0013__SINGLE)
& has_conj2(Z_000_615_A_DICK_1952_58,R_0615_0019__MOVED)
& r_0615_0019__moved(R_0615_0019__MOVED)
& has_nim53(R_0615_0019__MOVED,R_0615_0020__SLIGHTLY)
& has_arg0(R_0615_0019__MOVED,R_0615_0012__A_R_0615_0017__DETECTOR_R_0615_0018__VANE)
& has_r_0615_0004__in_nim13(R_0615_0019__MOVED,R_0615_0005__THE_R_0615_0006__CENTER)
& r_0615_0005__the_r_0615_0006__center(R_0615_0005__THE_R_0615_0006__CENTER)
& has_r_0615_0007__of(R_0615_0005__THE_R_0615_0006__CENTER,R_0615_0008__THE_R_0615_0010__CITY)
& r_0615_0008__the_r_0615_0010__city(R_0615_0008__THE_R_0615_0010__CITY)
& has_attrib24(R_0615_0008__THE_R_0615_0010__CITY,R_0615_0009__RUINED)
& has_nim2(R_0615_0019__MOVED,R_0615_0002__BELOW)
& r_0615_0002__below(R_0615_0002__BELOW)
& has_qual3(R_0615_0002__BELOW,R_0615_0001__DOWN)
& r_0615_0016__broken(R_0615_0016__BROKEN)
& has_arg0(R_0615_0016__BROKEN,Z_000_615_A_DICK_1952_38)
& has_nim40(R_0615_0016__BROKEN,R_0615_0014__HALF)
& has_arg1(R_0615_0016__BROKEN,R_0615_0012__A_R_0615_0017__DETECTOR_R_0615_0018__VANE) ) ).
( (IP-MAT (ADVP-NIM (ADVP (RP Down;{down}))
(ADV below;{below}))
(PUNC ,)
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(N center;{center})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(ADJP (ADJ ruined;{ruined}))
(N city;{city})))))
(PUNC ,)
(NP-SBJ (D a;{a})
(ADJP (ADJ single;{single}))
(IP-PPL (NP-LGS *)
(ADVP-NIM (ADV half;{half}))
(PUNC <hyphen>)
(VVN;_Tn_ broken;{break}))
(N detector;{detector})
(N vane;{vane}))
(VBD;_I_ moved;{move})
(ADVP-NIM (ADV slightly;{slightly}))
(PUNC ,)
(PP-SCON (IP-PPL (VAG;_Tn_ catching;{catch})
(NP-OB1 (D the;{the})
(N roar;{roar})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N ship;{ship}))))))
(PUNC .))
(ID 615_a_dick_1952))