TSPC 31_a_lob

31_a_lob_j01
(C).

( (FRAG (PULB -LRB-)
        (NP (SYM C))
        (PURB -RRB-)
        (PUNC .))
  (ID 31_a_lob_j01))

arc(z_0031_5005,z_0031_5004,z_0031_5002).

fof(formula,axiom,
    ? [Z_0031_5004,Z_0031_5005] :
      ( z_0031_5004(Z_0031_5004)
      & z_0031_5005(Z_0031_5005)
      & has_z_0031_5002(Z_0031_5005,Z_0031_5004) ) ).