Module position
tptp
Line/column reporting.
A line/column pair representing a position within an ASCII iterator