Context                Previous, Next                Top


31_a_johnson_letter
Boris Johnson

%3 z_000_31_a_johnson_letter_1 r_0031_0001__Boris_r_0031_0002__Johnson Boris Johnson z_000_31_a_johnson_letter_1->r_0031_0001__Boris_r_0031_0002__Johnson [nim] 
arc(z_000_31_a_johnson_letter_1, r_0031_0001__Boris_r_0031_0002__Johnson, nim2).


%3 z_000_31_a_johnson_letter_1 r_0031_0001__Boris_r_0031_0002__Johnson Boris Johnson z_000_31_a_johnson_letter_1->r_0031_0001__Boris_r_0031_0002__Johnson [nim] 
fof(formula,axiom,
    ? [R_0031_0001__BORIS_R_0031_0002__JOHNSON,Z_000_31_A_JOHNSON_LETTER_1] :
      ( r_0031_0001__Boris_r_0031_0002__Johnson(R_0031_0001__BORIS_R_0031_0002__JOHNSON)
      & z_000_31_a_johnson_letter_1(Z_000_31_A_JOHNSON_LETTER_1)
      & has_nim2(Z_000_31_A_JOHNSON_LETTER_1,R_0031_0001__BORIS_R_0031_0002__JOHNSON) ) ).


n31_a_johnson_letter n31_a_johnson_letter__1_1_1_1 Boris n31_a_johnson_letter__1_1_2_1 Johnson n31_a_johnson_letter__1 FRAG n31_a_johnson_letter__1_1 NP n31_a_johnson_letter__1->n31_a_johnson_letter__1_1 n31_a_johnson_letter__1_1_1 NPR n31_a_johnson_letter__1_1->n31_a_johnson_letter__1_1_1 n31_a_johnson_letter__1_1_2 NPR n31_a_johnson_letter__1_1->n31_a_johnson_letter__1_1_2 n31_a_johnson_letter__1_1_1->n31_a_johnson_letter__1_1_1_1 n31_a_johnson_letter__1_1_2->n31_a_johnson_letter__1_1_2_1 
( (FRAG (NP (NPR Boris;{Boris})
            (NPR Johnson;{Johnson})))
  (ID 31_a_johnson_letter))