Context                Previous, Next                Top


25_a_lob_a01
No secret talks — Macleod.

%3 r_0025_0001__No_quant No [quant] r_0025_0003__talks talks r_0025_0001__No_quant->r_0025_0003__talks [restriction] z_000_25_a_lob_a01_1 r_0025_0001__No_quant->z_000_25_a_lob_a01_1 [scope] r_0025_0002__secret secret r_0025_0003__talks->r_0025_0002__secret [attrib] z_000_25_a_lob_a01_1->r_0025_0003__talks [nim] r_0025_0005__Macleod Macleod z_000_25_a_lob_a01_1->r_0025_0005__Macleod [nim] 
arc(r_0025_0001__No_quant, r_0025_0003__talks, restriction).
arc(r_0025_0001__No_quant, z_000_25_a_lob_a01_1, scope).
arc(r_0025_0003__talks, r_0025_0002__secret, attrib5).
arc(z_000_25_a_lob_a01_1, r_0025_0003__talks, nim2).
arc(z_000_25_a_lob_a01_1, r_0025_0005__Macleod, nim12).


%3 z_000_25_a_lob_a01_1 r_0025_0005__Macleod Macleod z_000_25_a_lob_a01_1->r_0025_0005__Macleod [nim] r_0025_0003__talks talks z_000_25_a_lob_a01_1->r_0025_0003__talks [nim] r_0025_0002__secret secret r_0025_0003__talks->r_0025_0002__secret [attrib] r_0025_0001__No_quant No [quant] r_0025_0001__No_quant->z_000_25_a_lob_a01_1 [scope] r_0025_0001__No_quant->r_0025_0003__talks [restriction] 
fof(formula,axiom,
    ! [R_25_3_TALKS,R_25_2_SECRET] :
      ( ( secret(R_25_2_SECRET)
        & talks(R_25_3_TALKS)
        & attrib5(R_25_3_TALKS,R_25_2_SECRET) )
     => ? [Z_25_A_LOB_A01_1,R_25_5_MACLEOD] :
          ( macleod(R_25_5_MACLEOD)
          & z_25_a_lob_a01_1(Z_25_A_LOB_A01_1)
          & nim12(Z_25_A_LOB_A01_1,R_25_5_MACLEOD)
          & nim2(Z_25_A_LOB_A01_1,R_25_3_TALKS) ) ) ).


n25_a_lob_a01 n25_a_lob_a01__1_1_1_1 No n25_a_lob_a01__1_1_2_1_1 secret n25_a_lob_a01__1_1_3_1 talks n25_a_lob_a01__1_2_1 <mdash> n25_a_lob_a01__1_3_1_1 Macleod n25_a_lob_a01__1_4_1 . n25_a_lob_a01__1 FRAG n25_a_lob_a01__1_1 NP n25_a_lob_a01__1->n25_a_lob_a01__1_1 n25_a_lob_a01__1_2 PUNC n25_a_lob_a01__1->n25_a_lob_a01__1_2 n25_a_lob_a01__1_3 NP n25_a_lob_a01__1->n25_a_lob_a01__1_3 n25_a_lob_a01__1_4 PUNC n25_a_lob_a01__1->n25_a_lob_a01__1_4 n25_a_lob_a01__1_1_1 Q n25_a_lob_a01__1_1->n25_a_lob_a01__1_1_1 n25_a_lob_a01__1_1_2 ADJP n25_a_lob_a01__1_1->n25_a_lob_a01__1_1_2 n25_a_lob_a01__1_1_3 NS n25_a_lob_a01__1_1->n25_a_lob_a01__1_1_3 n25_a_lob_a01__1_1_1->n25_a_lob_a01__1_1_1_1 n25_a_lob_a01__1_1_2_1 ADJ n25_a_lob_a01__1_1_2->n25_a_lob_a01__1_1_2_1 n25_a_lob_a01__1_1_2_1->n25_a_lob_a01__1_1_2_1_1 n25_a_lob_a01__1_1_3->n25_a_lob_a01__1_1_3_1 n25_a_lob_a01__1_2->n25_a_lob_a01__1_2_1 n25_a_lob_a01__1_3_1 NPR n25_a_lob_a01__1_3->n25_a_lob_a01__1_3_1 n25_a_lob_a01__1_3_1->n25_a_lob_a01__1_3_1_1 n25_a_lob_a01__1_4->n25_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 25_a_lob_a01))