360_a_dick_1952
Probably they came by air in some sort of projectiles.”
( (IP-MAT (ADVP-NIM (ADV Probably;{probably}))
(NP-SBJ;{ENEMY} (PRO they;{they}))
(VBD;_I_ came;{come})
(PP-NIM (P-ROLE by;{by})
(NP (N air;{air})))
(PP-NIM (P-ROLE in;{in})
(NP (D some;{some})
(N sort;{sort})
(PP (P-ROLE of;{of})
(NP (NS projectiles;{projectile})))))
(PUNC .)
(PURQ <rdquo>))
(ID 360_a_dick_1952))
arc(r_0360_0003__came,r_0360_0001__Probably,nim).
arc(r_0360_0003__came,r_0360_0002__they,arg0).
arc(r_0360_0003__came,r_0360_0005__air,r_0360_0004__by__nim).
arc(r_0360_0003__came,r_0360_0007__some_r_0360_0008__sort,r_0360_0006__in__nim).
arc(r_0360_0007__some_r_0360_0008__sort,r_0360_0010__projectiles,r_0360_0009__of).
fof(formula,axiom,
? [R_0360_0001__PROBABLY,R_0360_0002__THEY,R_0360_0005__AIR,R_0360_0010__PROJECTILES,R_0360_0007__SOME_R_0360_0008__SORT,R_0360_0003__CAME] :
( r_0360_0001__Probably(R_0360_0001__PROBABLY)
& r_0360_0002__they(R_0360_0002__THEY)
& r_0360_0005__air(R_0360_0005__AIR)
& r_0360_0010__projectiles(R_0360_0010__PROJECTILES)
& r_0360_0003__came(R_0360_0003__CAME)
& has_r_0360_0006__in__nim(R_0360_0003__CAME,R_0360_0007__SOME_R_0360_0008__SORT)
& r_0360_0007__some_r_0360_0008__sort(R_0360_0007__SOME_R_0360_0008__SORT)
& has_r_0360_0009__of(R_0360_0007__SOME_R_0360_0008__SORT,R_0360_0010__PROJECTILES)
& has_r_0360_0004__by__nim(R_0360_0003__CAME,R_0360_0005__AIR)
& has_arg0(R_0360_0003__CAME,R_0360_0002__THEY)
& has_nim(R_0360_0003__CAME,R_0360_0001__PROBABLY) ) ).