...Project
PRACMA is short for `PRocessing Arguments between Controversially Minded Agents.'
...axioms
restricted to 25#25
Ullrich Hustadt@Tue May 23 15:04:50 MET DST 1995