TSPC 31_a_johnson

31_a_johnson_letter
Boris Johnson

( (NP (NPR Boris;{Boris})
      (NPR Johnson;{Johnson}))
  (ID 31_a_johnson_letter))

arc(z_0031_5003,r_0031_0001__Boris_r_0031_0002__Johnson,z_0031_5002).

fof(formula,axiom,
    ? [R_0031_0001__BORIS_R_0031_0002__JOHNSON,Z_0031_5003] :
      ( r_0031_0001__Boris_r_0031_0002__Johnson(R_0031_0001__BORIS_R_0031_0002__JOHNSON)
      & z_0031_5003(Z_0031_5003)
      & has_z_0031_5002(Z_0031_5003,R_0031_0001__BORIS_R_0031_0002__JOHNSON) ) ).