28_a_lob_a02
The stores had been hit by the same strike wave that has paralysed the port of Takoradi for the past week.
( (IP-MAT (NP-SBJ (D The;{the})
(NS stores;{store}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
(IP-PPL-CAT (VVN;_Tn_ hit;{hit})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (D the;{the})
(ADJP (ADJ same;{same}))
(N strike;{strike})
(N wave;{wave})
(IP-REL (C that;{that})
(NP-SBJ *T*)
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (VVN;_Tn_ paralysed;{paralyse})
(NP-OB1 (D the;{the})
(N port;{port})
(PP (P-ROLE of;{of})
(NP (NPR Takoradi;{Takoradi}))))
(PP-NIM (P-ROLE for;{for})
(NP (D the;{the})
(ADJP (ADJ past;{past}))
(N week;{week})))))))))
(PUNC .))
(ID 28_a_lob_a02))
arc(r_0028_0003__had,r_0028_0004__been,scope).
arc(r_0028_0004__been,r_0028_0005__hit,scope).
arc(r_0028_0005__hit,r_0028_0001__The_r_0028_0002__stores,arg1).
arc(r_0028_0005__hit,r_0028_0007__the_r_0028_0009__strike_r_0028_0010__wave,r_0028_0006__by_arg0).
arc(r_0028_0007__the_r_0028_0009__strike_r_0028_0010__wave,r_0028_0008__same,attrib).
arc(r_0028_0012__has,r_0028_0013__paralysed,scope).
arc(r_0028_0013__paralysed,r_0028_0007__the_r_0028_0009__strike_r_0028_0010__wave,inv_arg0).
arc(r_0028_0013__paralysed,r_0028_0014__the_r_0028_0015__port,arg1).
arc(r_0028_0013__paralysed,r_0028_0019__the_r_0028_0021__week,r_0028_0018__for__nim).
arc(r_0028_0014__the_r_0028_0015__port,r_0028_0017__Takoradi,r_0028_0016__of).
arc(r_0028_0019__the_r_0028_0021__week,r_0028_0020__past,attrib).
fof(formula,axiom,
? [R_0028_0001__THE_R_0028_0002__STORES,R_0028_0008__SAME,R_0028_0017__TAKORADI,R_0028_0014__THE_R_0028_0015__PORT,R_0028_0020__PAST,R_0028_0019__THE_R_0028_0021__WEEK,R_0028_0012__HAS_R_0028_0013__PARALYSED,R_0028_0007__THE_R_0028_0009__STRIKE_R_0028_0010__WAVE,R_0028_0003__HAD_R_0028_0004__BEEN_R_0028_0005__HIT] :
( r_0028_0001__The_r_0028_0002__stores(R_0028_0001__THE_R_0028_0002__STORES)
& r_0028_0008__same(R_0028_0008__SAME)
& r_0028_0017__Takoradi(R_0028_0017__TAKORADI)
& r_0028_0020__past(R_0028_0020__PAST)
& r_0028_0003__had_r_0028_0004__been_r_0028_0005__hit(R_0028_0003__HAD_R_0028_0004__BEEN_R_0028_0005__HIT)
& has_r_0028_0006__by_arg0(R_0028_0003__HAD_R_0028_0004__BEEN_R_0028_0005__HIT,R_0028_0007__THE_R_0028_0009__STRIKE_R_0028_0010__WAVE)
& r_0028_0007__the_r_0028_0009__strike_r_0028_0010__wave(R_0028_0007__THE_R_0028_0009__STRIKE_R_0028_0010__WAVE)
& has_inv_arg0(R_0028_0007__THE_R_0028_0009__STRIKE_R_0028_0010__WAVE,R_0028_0012__HAS_R_0028_0013__PARALYSED)
& r_0028_0012__has_r_0028_0013__paralysed(R_0028_0012__HAS_R_0028_0013__PARALYSED)
& has_r_0028_0018__for__nim(R_0028_0012__HAS_R_0028_0013__PARALYSED,R_0028_0019__THE_R_0028_0021__WEEK)
& r_0028_0019__the_r_0028_0021__week(R_0028_0019__THE_R_0028_0021__WEEK)
& has_attrib(R_0028_0019__THE_R_0028_0021__WEEK,R_0028_0020__PAST)
& has_arg1(R_0028_0012__HAS_R_0028_0013__PARALYSED,R_0028_0014__THE_R_0028_0015__PORT)
& r_0028_0014__the_r_0028_0015__port(R_0028_0014__THE_R_0028_0015__PORT)
& has_r_0028_0016__of(R_0028_0014__THE_R_0028_0015__PORT,R_0028_0017__TAKORADI)
& has_attrib(R_0028_0007__THE_R_0028_0009__STRIKE_R_0028_0010__WAVE,R_0028_0008__SAME)
& has_arg1(R_0028_0003__HAD_R_0028_0004__BEEN_R_0028_0005__HIT,R_0028_0001__THE_R_0028_0002__STORES) ) ).