[Termtools] syntactic issues with LP examples

[Peter Schneider-Kamp]

Dear all,

the examples in the LP category contain (syntactically) quite different
ways of specifying the sets of queries to be analyzed.

I would propose we change all examples such that the abstract
query is given as the first line of the example using a syntax like
%query: p(i,i,o)

If we can agree on this, we would be willing to submit such
a patch to the TermComp bug system.

What do you think?

Best regards,
Peter
-- 
Peter Schneider-Kamp   mailto:psk at informatik.rwth-aachen.de
LuFG Informatik 2      http://verify.rwth-aachen.de/psk
RWTH Aachen            phone: +49 241 80-21211