Context                Previous, Next                Top


73_a_hardy_1883
Not a soul was anywhere visible.

%3 r_0073_0001__Not Not r_0073_0004__was was r_0073_0001__Not->r_0073_0004__was [keep_scope] r_0073_0002__a_r_0073_0003__soul a soul r_0073_0004__was->r_0073_0002__a_r_0073_0003__soul [arg0] r_0073_0005__anywhere anywhere r_0073_0004__was->r_0073_0005__anywhere [nim] r_0073_0006__visible visible r_0073_0004__was->r_0073_0006__visible [prd] 
arc(r_0073_0001__Not, r_0073_0004__was, keep_scope).
arc(r_0073_0004__was, r_0073_0002__a_r_0073_0003__soul, arg0).
arc(r_0073_0004__was, r_0073_0005__anywhere, nim11).
arc(r_0073_0004__was, r_0073_0006__visible, prd).


%3 r_0073_0004__was was r_0073_0006__visible visible r_0073_0004__was->r_0073_0006__visible [prd] r_0073_0005__anywhere anywhere r_0073_0004__was->r_0073_0005__anywhere [nim] r_0073_0002__a_r_0073_0003__soul a soul r_0073_0004__was->r_0073_0002__a_r_0073_0003__soul [arg0] r_0073_0001__Not Not r_0073_0001__Not->r_0073_0004__was [keep_scope] 
fof(formula,axiom,
    ~ ? [R_73_4_WAS,R_73_2_A_SOUL,R_73_5_ANYWHERE,R_73_6_VISIBLE] :
        ( a_soul(R_73_2_A_SOUL)
        & anywhere(R_73_5_ANYWHERE)
        & visible(R_73_6_VISIBLE)
        & was(R_73_4_WAS,R_73_2_A_SOUL,R_73_6_VISIBLE)
        & nim11(R_73_4_WAS,R_73_5_ANYWHERE) ) ).


n73_a_hardy_1883 n73_a_hardy_1883__1_1_1 Not n73_a_hardy_1883__1_2_1_1 a n73_a_hardy_1883__1_2_2_1 soul n73_a_hardy_1883__1_3_1 was n73_a_hardy_1883__1_4_1_1 anywhere n73_a_hardy_1883__1_5_1_1 visible n73_a_hardy_1883__1_6_1 . n73_a_hardy_1883__1 IP-MAT n73_a_hardy_1883__1_1 NEG n73_a_hardy_1883__1->n73_a_hardy_1883__1_1 n73_a_hardy_1883__1_2 NP-SBJ n73_a_hardy_1883__1->n73_a_hardy_1883__1_2 n73_a_hardy_1883__1_3 BED;_La_ n73_a_hardy_1883__1->n73_a_hardy_1883__1_3 n73_a_hardy_1883__1_4 ADVP-NIM n73_a_hardy_1883__1->n73_a_hardy_1883__1_4 n73_a_hardy_1883__1_5 ADJP-PRD n73_a_hardy_1883__1->n73_a_hardy_1883__1_5 n73_a_hardy_1883__1_6 PUNC n73_a_hardy_1883__1->n73_a_hardy_1883__1_6 n73_a_hardy_1883__1_1->n73_a_hardy_1883__1_1_1 n73_a_hardy_1883__1_2_1 D n73_a_hardy_1883__1_2->n73_a_hardy_1883__1_2_1 n73_a_hardy_1883__1_2_2 N n73_a_hardy_1883__1_2->n73_a_hardy_1883__1_2_2 n73_a_hardy_1883__1_2_1->n73_a_hardy_1883__1_2_1_1 n73_a_hardy_1883__1_2_2->n73_a_hardy_1883__1_2_2_1 n73_a_hardy_1883__1_3->n73_a_hardy_1883__1_3_1 n73_a_hardy_1883__1_4_1 ADV n73_a_hardy_1883__1_4->n73_a_hardy_1883__1_4_1 n73_a_hardy_1883__1_4_1->n73_a_hardy_1883__1_4_1_1 n73_a_hardy_1883__1_5_1 ADJ n73_a_hardy_1883__1_5->n73_a_hardy_1883__1_5_1 n73_a_hardy_1883__1_5_1->n73_a_hardy_1883__1_5_1_1 n73_a_hardy_1883__1_6->n73_a_hardy_1883__1_6_1 
( (IP-MAT (NEG Not;{not})
          (NP-SBJ (D a;{a})
                  (N soul;{soul}))
          (BED;_La_ was;{be})
          (ADVP-NIM (ADV anywhere;{anywhere}))
          (ADJP-PRD (ADJ visible;{visible}))
          (PUNC .))
  (ID 73_a_hardy_1883))