Context                Previous, Next                Top


72_a_hardy_1883
Not a soul was anywhere visible.

n72_a_hardy_1883 n72_a_hardy_1883__1_1_1 Not n72_a_hardy_1883__1_2_1_1 a n72_a_hardy_1883__1_2_2_1 soul n72_a_hardy_1883__1_3_1 was n72_a_hardy_1883__1_4_1_1 anywhere n72_a_hardy_1883__1_5_1_1 visible n72_a_hardy_1883__1_6_1 . n72_a_hardy_1883__1 IP-MAT n72_a_hardy_1883__1_1 NEG n72_a_hardy_1883__1->n72_a_hardy_1883__1_1 n72_a_hardy_1883__1_2 NP-SBJ n72_a_hardy_1883__1->n72_a_hardy_1883__1_2 n72_a_hardy_1883__1_3 BED;_La_ n72_a_hardy_1883__1->n72_a_hardy_1883__1_3 n72_a_hardy_1883__1_4 ADVP-NIM n72_a_hardy_1883__1->n72_a_hardy_1883__1_4 n72_a_hardy_1883__1_5 ADJP-PRD n72_a_hardy_1883__1->n72_a_hardy_1883__1_5 n72_a_hardy_1883__1_6 PUNC n72_a_hardy_1883__1->n72_a_hardy_1883__1_6 n72_a_hardy_1883__1_1->n72_a_hardy_1883__1_1_1 n72_a_hardy_1883__1_2_1 D n72_a_hardy_1883__1_2->n72_a_hardy_1883__1_2_1 n72_a_hardy_1883__1_2_2 N n72_a_hardy_1883__1_2->n72_a_hardy_1883__1_2_2 n72_a_hardy_1883__1_2_1->n72_a_hardy_1883__1_2_1_1 n72_a_hardy_1883__1_2_2->n72_a_hardy_1883__1_2_2_1 n72_a_hardy_1883__1_3->n72_a_hardy_1883__1_3_1 n72_a_hardy_1883__1_4_1 ADV n72_a_hardy_1883__1_4->n72_a_hardy_1883__1_4_1 n72_a_hardy_1883__1_4_1->n72_a_hardy_1883__1_4_1_1 n72_a_hardy_1883__1_5_1 ADJ n72_a_hardy_1883__1_5->n72_a_hardy_1883__1_5_1 n72_a_hardy_1883__1_5_1->n72_a_hardy_1883__1_5_1_1 n72_a_hardy_1883__1_6->n72_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 72_a_hardy_1883))


%3 r_0072_0004__was was r_0072_0006__visible visible r_0072_0004__was->r_0072_0006__visible [prd] r_0072_0005__anywhere anywhere r_0072_0004__was->r_0072_0005__anywhere [nim] r_0072_0002__a_r_0072_0003__soul a soul r_0072_0004__was->r_0072_0002__a_r_0072_0003__soul [arg0] r_0072_0001__Not Not r_0072_0001__Not->r_0072_0004__was [keep_scope] 
arc(r_0072_0001__Not,r_0072_0004__was,keep_scope).
arc(r_0072_0004__was,r_0072_0002__a_r_0072_0003__soul,arg0).
arc(r_0072_0004__was,r_0072_0005__anywhere,nim).
arc(r_0072_0004__was,r_0072_0006__visible,prd).


%3 r_0072_0001__Not Not r_0072_0004__was was r_0072_0001__Not->r_0072_0004__was [keep_scope] r_0072_0002__a_r_0072_0003__soul a soul r_0072_0004__was->r_0072_0002__a_r_0072_0003__soul [arg0] r_0072_0005__anywhere anywhere r_0072_0004__was->r_0072_0005__anywhere [nim] r_0072_0006__visible visible r_0072_0004__was->r_0072_0006__visible [prd] 
fof(formula,axiom,
    ~ ? [R_0072_0002__A_R_0072_0003__SOUL,R_0072_0005__ANYWHERE,R_0072_0006__VISIBLE,R_0072_0004__WAS] :
        ( r_0072_0002__a_r_0072_0003__soul(R_0072_0002__A_R_0072_0003__SOUL)
        & r_0072_0005__anywhere(R_0072_0005__ANYWHERE)
        & r_0072_0006__visible(R_0072_0006__VISIBLE)
        & r_0072_0004__was(R_0072_0004__WAS)
        & has_prd(R_0072_0004__WAS,R_0072_0006__VISIBLE)
        & has_nim(R_0072_0004__WAS,R_0072_0005__ANYWHERE)
        & has_arg0(R_0072_0004__WAS,R_0072_0002__A_R_0072_0003__SOUL) ) ).