Context                Previous, Next                Top


27_a_lob_a01
No secret talks — Macleod.

n27_a_lob_a01 n27_a_lob_a01__1_1_1_1 No n27_a_lob_a01__1_1_2_1_1 secret n27_a_lob_a01__1_1_3_1 talks n27_a_lob_a01__1_2_1 <mdash> n27_a_lob_a01__1_3_1_1 Macleod n27_a_lob_a01__1_4_1 . n27_a_lob_a01__1 FRAG n27_a_lob_a01__1_1 NP n27_a_lob_a01__1->n27_a_lob_a01__1_1 n27_a_lob_a01__1_2 PUNC n27_a_lob_a01__1->n27_a_lob_a01__1_2 n27_a_lob_a01__1_3 NP n27_a_lob_a01__1->n27_a_lob_a01__1_3 n27_a_lob_a01__1_4 PUNC n27_a_lob_a01__1->n27_a_lob_a01__1_4 n27_a_lob_a01__1_1_1 Q n27_a_lob_a01__1_1->n27_a_lob_a01__1_1_1 n27_a_lob_a01__1_1_2 ADJP n27_a_lob_a01__1_1->n27_a_lob_a01__1_1_2 n27_a_lob_a01__1_1_3 NS n27_a_lob_a01__1_1->n27_a_lob_a01__1_1_3 n27_a_lob_a01__1_1_1->n27_a_lob_a01__1_1_1_1 n27_a_lob_a01__1_1_2_1 ADJ n27_a_lob_a01__1_1_2->n27_a_lob_a01__1_1_2_1 n27_a_lob_a01__1_1_2_1->n27_a_lob_a01__1_1_2_1_1 n27_a_lob_a01__1_1_3->n27_a_lob_a01__1_1_3_1 n27_a_lob_a01__1_2->n27_a_lob_a01__1_2_1 n27_a_lob_a01__1_3_1 NPR n27_a_lob_a01__1_3->n27_a_lob_a01__1_3_1 n27_a_lob_a01__1_3_1->n27_a_lob_a01__1_3_1_1 n27_a_lob_a01__1_4->n27_a_lob_a01__1_4_1 
( (FRAG (NP (Q No;{no})
            (ADJP (ADJ secret;{secret}))
            (NS talks;{talk}))
        (PUNC <mdash>)
        (NP (NPR Macleod;{Macleod}))
        (PUNC .))
  (ID 27_a_lob_a01))


%3 z_0027_5008 r_0027_0005__Macleod Macleod z_0027_5008->r_0027_0005__Macleod r_0027_0003__talks talks z_0027_5008->r_0027_0003__talks r_0027_0002__secret secret r_0027_0003__talks->r_0027_0002__secret [attrib] r_0027_0001__No__quant No [quant] r_0027_0001__No__quant->z_0027_5008 [scope] r_0027_0001__No__quant->r_0027_0003__talks [restriction] 
arc(r_0027_0001__No__quant,r_0027_0003__talks,restriction).
arc(r_0027_0001__No__quant,z_0027_5008,scope).
arc(r_0027_0003__talks,r_0027_0002__secret,attrib).
arc(z_0027_5008,r_0027_0003__talks,z_0027_5004).
arc(z_0027_5008,r_0027_0005__Macleod,z_0027_5003).


%3 r_0027_0001__No__quant No [quant] r_0027_0003__talks talks r_0027_0001__No__quant->r_0027_0003__talks [restriction] z_0027_5008 r_0027_0001__No__quant->z_0027_5008 [scope] r_0027_0002__secret secret r_0027_0003__talks->r_0027_0002__secret [attrib] z_0027_5008->r_0027_0003__talks r_0027_0005__Macleod Macleod z_0027_5008->r_0027_0005__Macleod 
fof(formula,axiom,
    ! [R_0027_0003__TALKS,R_0027_0002__SECRET] :
      ( ( r_0027_0002__secret(R_0027_0002__SECRET)
        & r_0027_0003__talks(R_0027_0003__TALKS)
        & has_attrib(R_0027_0003__TALKS,R_0027_0002__SECRET) )
     => ? [R_0027_0005__MACLEOD,Z_0027_5008] :
          ( r_0027_0005__Macleod(R_0027_0005__MACLEOD)
          & z_0027_5008(Z_0027_5008)
          & has_z_0027_5003(Z_0027_5008,R_0027_0005__MACLEOD)
          & has_z_0027_5004(Z_0027_5008,R_0027_0003__TALKS) ) ) ).