Text this: On logical specifications of the Argument Interchange Format.