69_a_joyce_1914
No notice was visible now for the shutters were up.
arc(r_0069_0001__No_quant, r_0069_0002__notice, restriction).
arc(r_0069_0001__No_quant, r_0069_0006__for, scope).
arc(r_0069_0003__was, r_0069_0002__notice, arg0).
arc(r_0069_0003__was, r_0069_0004__visible, prd).
arc(r_0069_0003__was, r_0069_0005__now, nim12).
arc(r_0069_0006__for, r_0069_0003__was, scope).
arc(r_0069_0006__for, r_0069_0009__were, restriction).
arc(r_0069_0009__were, r_0069_0007__the_r_0069_0008__shutters, arg0).
arc(r_0069_0009__were, r_0069_0010__up, clr26).
fof(formula,axiom,
! [R_69_2_NOTICE] :
( notice(R_69_2_NOTICE)
=> ? [R_69_6_FOR,R_69_9_WERE,R_69_7_THE_SHUTTERS,R_69_10_UP,R_69_3_WAS,R_69_5_NOW,R_69_4_VISIBLE] :
( the_shutters(R_69_7_THE_SHUTTERS)
& up(R_69_10_UP)
& now(R_69_5_NOW)
& visible(R_69_4_VISIBLE)
& for(R_69_6_FOR)
& conj1(R_69_6_FOR,R_69_9_WERE)
& were(R_69_9_WERE,R_69_7_THE_SHUTTERS)
& clr26(R_69_9_WERE,R_69_10_UP)
& conj2(R_69_6_FOR,R_69_3_WAS)
& was(R_69_3_WAS,R_69_2_NOTICE,R_69_4_VISIBLE)
& nim12(R_69_3_WAS,R_69_5_NOW) ) ) ).
( (IP-MAT (NP-SBJ (Q No;{no})
(N notice;{notice}))
(BED;_La_ was;{be})
(ADJP-PRD (ADJ visible;{visible}))
(ADVP-NIM (ADV now;{now}))
(PP-SCON (P-CONN for;{for})
(IP-ADV (NP-SBJ (D the;{the})
(NS shutters;{shutter}))
(BED;_Ip_ were;{be})
(ADVP-CLR (RP up;{up}))))
(PUNC .))
(ID 69_a_joyce_1914))