Context                Previous, Next                Top


73_a_hardy_1883
Not a soul was anywhere visible.

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


%3 r_0073_0001__Not_r_0073_0004__was Not was r_0073_0006__visible visible r_0073_0001__Not_r_0073_0004__was->r_0073_0006__visible [prd] r_0073_0005__anywhere anywhere r_0073_0001__Not_r_0073_0004__was->r_0073_0005__anywhere [nim] r_0073_0002__a_r_0073_0003__soul a soul r_0073_0001__Not_r_0073_0004__was->r_0073_0002__a_r_0073_0003__soul [arg0] 
fof(formula,axiom,
    ? [R_0073_0002__A_R_0073_0003__SOUL,R_0073_0005__ANYWHERE,R_0073_0006__VISIBLE,R_0073_0001__NOT_R_0073_0004__WAS] :
      ( r_0073_0002__a_r_0073_0003__soul(R_0073_0002__A_R_0073_0003__SOUL)
      & r_0073_0005__anywhere(R_0073_0005__ANYWHERE)
      & r_0073_0006__visible(R_0073_0006__VISIBLE)
      & ~ ( has_prd(R_0073_0001__NOT_R_0073_0004__WAS,R_0073_0006__VISIBLE)
          & has_nim11(R_0073_0001__NOT_R_0073_0004__WAS,R_0073_0005__ANYWHERE)
          & has_arg0(R_0073_0001__NOT_R_0073_0004__WAS,R_0073_0002__A_R_0073_0003__SOUL) ) ) ).


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))