TSPC 40_a_lob

40_a_lob_j01
(D).

( (FRAG (PULB -LRB-)
        (NP (SYM D))
        (PURB -RRB-)
        (PUNC .))
  (ID 40_a_lob_j01))

arc(z_0040_5005,z_0040_5004,z_0040_5002).

fof(formula,axiom,
    ? [Z_0040_5004,Z_0040_5005] :
      ( z_0040_5004(Z_0040_5004)
      & z_0040_5005(Z_0040_5005)
      & has_z_0040_5002(Z_0040_5005,Z_0040_5004) ) ).