#! /usr/bin/gawk -f 
# Last edited on 2004-11-06 20:59:02 by stolfi

/^ *PREDICATES *$/ { 
  if (state != "SYMBOLS") { data_error("unexpected PREDICATES"); }
  state = $1;
  next;
}

function get_continuation_lines(lin,  ext)
{
  while (lin[length(lin)] != ".")
    { 
      getline ext;
      lin = (lin " " cleanup(ext))
    }
}