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,
    ? [Z_31_A_JOHNSON_LETTER_1,R_31_1_BORIS_JOHNSON] :
      ( boris_Johnson(R_31_1_BORIS_JOHNSON)
      & z_31_a_johnson_letter_1(Z_31_A_JOHNSON_LETTER_1)
      & nim2(Z_31_A_JOHNSON_LETTER_1,R_31_1_BORIS_JOHNSON) ) ).


n31_a_johnson_letter n31_a_johnson_letter_4 Boris n31_a_johnson_letter_6 Johnson n31_a_johnson_letter_1 FRAG n31_a_johnson_letter_2 NP n31_a_johnson_letter_1->n31_a_johnson_letter_2 n31_a_johnson_letter_3 NPR n31_a_johnson_letter_2->n31_a_johnson_letter_3 n31_a_johnson_letter_5 NPR n31_a_johnson_letter_2->n31_a_johnson_letter_5 n31_a_johnson_letter_3->n31_a_johnson_letter_4 n31_a_johnson_letter_5->n31_a_johnson_letter_6 
( (FRAG (NP (NPR Boris;{Boris})
            (NPR Johnson;{Johnson})))
  (ID 31_a_johnson_letter))