Context                Previous, Next                Top


68_a_joyce_1914
No notice was visible now for the shutters were up.

n68_a_joyce_1914 n68_a_joyce_1914__1_1_1_1 No n68_a_joyce_1914__1_1_2_1 notice n68_a_joyce_1914__1_2_1 was n68_a_joyce_1914__1_3_1_1 visible n68_a_joyce_1914__1_4_1_1 now n68_a_joyce_1914__1_5_1_1 for n68_a_joyce_1914__1_5_2_1_1_1 the n68_a_joyce_1914__1_5_2_1_2_1 shutters n68_a_joyce_1914__1_5_2_2_1 were n68_a_joyce_1914__1_5_2_3_1_1 up n68_a_joyce_1914__1_6_1 . n68_a_joyce_1914__1 IP-MAT n68_a_joyce_1914__1_1 NP-SBJ n68_a_joyce_1914__1->n68_a_joyce_1914__1_1 n68_a_joyce_1914__1_2 BED;_La_ n68_a_joyce_1914__1->n68_a_joyce_1914__1_2 n68_a_joyce_1914__1_3 ADJP-PRD n68_a_joyce_1914__1->n68_a_joyce_1914__1_3 n68_a_joyce_1914__1_4 ADVP-NIM n68_a_joyce_1914__1->n68_a_joyce_1914__1_4 n68_a_joyce_1914__1_5 PP-SCON n68_a_joyce_1914__1->n68_a_joyce_1914__1_5 n68_a_joyce_1914__1_6 PUNC n68_a_joyce_1914__1->n68_a_joyce_1914__1_6 n68_a_joyce_1914__1_1_1 Q n68_a_joyce_1914__1_1->n68_a_joyce_1914__1_1_1 n68_a_joyce_1914__1_1_2 N n68_a_joyce_1914__1_1->n68_a_joyce_1914__1_1_2 n68_a_joyce_1914__1_1_1->n68_a_joyce_1914__1_1_1_1 n68_a_joyce_1914__1_1_2->n68_a_joyce_1914__1_1_2_1 n68_a_joyce_1914__1_2->n68_a_joyce_1914__1_2_1 n68_a_joyce_1914__1_3_1 ADJ n68_a_joyce_1914__1_3->n68_a_joyce_1914__1_3_1 n68_a_joyce_1914__1_3_1->n68_a_joyce_1914__1_3_1_1 n68_a_joyce_1914__1_4_1 ADV n68_a_joyce_1914__1_4->n68_a_joyce_1914__1_4_1 n68_a_joyce_1914__1_4_1->n68_a_joyce_1914__1_4_1_1 n68_a_joyce_1914__1_5_1 P-CONN n68_a_joyce_1914__1_5->n68_a_joyce_1914__1_5_1 n68_a_joyce_1914__1_5_2 IP-ADV n68_a_joyce_1914__1_5->n68_a_joyce_1914__1_5_2 n68_a_joyce_1914__1_5_1->n68_a_joyce_1914__1_5_1_1 n68_a_joyce_1914__1_5_2_1 NP-SBJ n68_a_joyce_1914__1_5_2->n68_a_joyce_1914__1_5_2_1 n68_a_joyce_1914__1_5_2_2 BED;_Ip_ n68_a_joyce_1914__1_5_2->n68_a_joyce_1914__1_5_2_2 n68_a_joyce_1914__1_5_2_3 ADVP-CLR n68_a_joyce_1914__1_5_2->n68_a_joyce_1914__1_5_2_3 n68_a_joyce_1914__1_5_2_1_1 D n68_a_joyce_1914__1_5_2_1->n68_a_joyce_1914__1_5_2_1_1 n68_a_joyce_1914__1_5_2_1_2 NS n68_a_joyce_1914__1_5_2_1->n68_a_joyce_1914__1_5_2_1_2 n68_a_joyce_1914__1_5_2_1_1->n68_a_joyce_1914__1_5_2_1_1_1 n68_a_joyce_1914__1_5_2_1_2->n68_a_joyce_1914__1_5_2_1_2_1 n68_a_joyce_1914__1_5_2_2->n68_a_joyce_1914__1_5_2_2_1 n68_a_joyce_1914__1_5_2_3_1 RP n68_a_joyce_1914__1_5_2_3->n68_a_joyce_1914__1_5_2_3_1 n68_a_joyce_1914__1_5_2_3_1->n68_a_joyce_1914__1_5_2_3_1_1 n68_a_joyce_1914__1_6->n68_a_joyce_1914__1_6_1 
( (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 68_a_joyce_1914))


%3 r_0068_0009__were_r_0068_0010__up were up r_0068_0007__the_r_0068_0008__shutters the shutters r_0068_0009__were_r_0068_0010__up->r_0068_0007__the_r_0068_0008__shutters [arg0] r_0068_0006__for for r_0068_0006__for->r_0068_0009__were_r_0068_0010__up [restriction] r_0068_0003__was was r_0068_0006__for->r_0068_0003__was [scope] r_0068_0005__now now r_0068_0003__was->r_0068_0005__now [nim] r_0068_0004__visible visible r_0068_0003__was->r_0068_0004__visible [prd] r_0068_0002__notice notice r_0068_0003__was->r_0068_0002__notice [arg0] r_0068_0001__No__quant No [quant] r_0068_0001__No__quant->r_0068_0006__for [scope] r_0068_0001__No__quant->r_0068_0002__notice [restriction] 
arc(r_0068_0001__No__quant,r_0068_0002__notice,restriction).
arc(r_0068_0001__No__quant,r_0068_0006__for,scope).
arc(r_0068_0003__was,r_0068_0002__notice,arg0).
arc(r_0068_0003__was,r_0068_0004__visible,prd).
arc(r_0068_0003__was,r_0068_0005__now,nim).
arc(r_0068_0006__for,r_0068_0003__was,scope).
arc(r_0068_0006__for,r_0068_0009__were_r_0068_0010__up,restriction).
arc(r_0068_0009__were_r_0068_0010__up,r_0068_0007__the_r_0068_0008__shutters,arg0).


%3 r_0068_0001__No__quant No [quant] r_0068_0002__notice notice r_0068_0001__No__quant->r_0068_0002__notice [restriction] r_0068_0006__for for r_0068_0001__No__quant->r_0068_0006__for [scope] r_0068_0003__was was r_0068_0006__for->r_0068_0003__was [conj2] r_0068_0009__were_r_0068_0010__up were up r_0068_0006__for->r_0068_0009__were_r_0068_0010__up [conj1] r_0068_0003__was->r_0068_0002__notice [arg0] r_0068_0004__visible visible r_0068_0003__was->r_0068_0004__visible [prd] r_0068_0005__now now r_0068_0003__was->r_0068_0005__now [nim] r_0068_0007__the_r_0068_0008__shutters the shutters r_0068_0009__were_r_0068_0010__up->r_0068_0007__the_r_0068_0008__shutters [arg0] 
fof(formula,axiom,
    ! [R_0068_0002__NOTICE] :
      ( r_0068_0002__notice(R_0068_0002__NOTICE)
     => ? [R_0068_0004__VISIBLE,R_0068_0005__NOW,R_0068_0003__WAS,R_0068_0007__THE_R_0068_0008__SHUTTERS,R_0068_0009__WERE_R_0068_0010__UP,R_0068_0006__FOR] :
          ( r_0068_0004__visible(R_0068_0004__VISIBLE)
          & r_0068_0005__now(R_0068_0005__NOW)
          & r_0068_0007__the_r_0068_0008__shutters(R_0068_0007__THE_R_0068_0008__SHUTTERS)
          & r_0068_0006__for(R_0068_0006__FOR)
          & has_conj1(R_0068_0006__FOR,R_0068_0009__WERE_R_0068_0010__UP)
          & r_0068_0009__were_r_0068_0010__up(R_0068_0009__WERE_R_0068_0010__UP)
          & has_arg0(R_0068_0009__WERE_R_0068_0010__UP,R_0068_0007__THE_R_0068_0008__SHUTTERS)
          & has_conj2(R_0068_0006__FOR,R_0068_0003__WAS)
          & r_0068_0003__was(R_0068_0003__WAS)
          & has_nim(R_0068_0003__WAS,R_0068_0005__NOW)
          & has_prd(R_0068_0003__WAS,R_0068_0004__VISIBLE)
          & has_arg0(R_0068_0003__WAS,R_0068_0002__NOTICE) ) ) ).