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_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] 
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_3 Not n73_a_hardy_1883_6 a n73_a_hardy_1883_8 soul n73_a_hardy_1883_10 was n73_a_hardy_1883_13 anywhere n73_a_hardy_1883_16 visible n73_a_hardy_1883_18 . n73_a_hardy_1883_1 IP-MAT n73_a_hardy_1883_2 NEG n73_a_hardy_1883_1->n73_a_hardy_1883_2 n73_a_hardy_1883_4 NP-SBJ n73_a_hardy_1883_1->n73_a_hardy_1883_4 n73_a_hardy_1883_9 BED;_La_ n73_a_hardy_1883_1->n73_a_hardy_1883_9 n73_a_hardy_1883_11 ADVP-NIM n73_a_hardy_1883_1->n73_a_hardy_1883_11 n73_a_hardy_1883_14 ADJP-PRD n73_a_hardy_1883_1->n73_a_hardy_1883_14 n73_a_hardy_1883_17 PUNC n73_a_hardy_1883_1->n73_a_hardy_1883_17 n73_a_hardy_1883_2->n73_a_hardy_1883_3 n73_a_hardy_1883_5 D n73_a_hardy_1883_4->n73_a_hardy_1883_5 n73_a_hardy_1883_7 N n73_a_hardy_1883_4->n73_a_hardy_1883_7 n73_a_hardy_1883_5->n73_a_hardy_1883_6 n73_a_hardy_1883_7->n73_a_hardy_1883_8 n73_a_hardy_1883_9->n73_a_hardy_1883_10 n73_a_hardy_1883_12 ADV n73_a_hardy_1883_11->n73_a_hardy_1883_12 n73_a_hardy_1883_12->n73_a_hardy_1883_13 n73_a_hardy_1883_15 ADJ n73_a_hardy_1883_14->n73_a_hardy_1883_15 n73_a_hardy_1883_15->n73_a_hardy_1883_16 n73_a_hardy_1883_17->n73_a_hardy_1883_18 
( (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))