The experimental results show that our linguisticallymotivated approach benefits verb error correction.
in order to determine the error type, we build on the notion of verb finiteness to distinguish between finite and non-finite verbs (Quirk et al., 1985), that correspond to Agreement and Tense mistakes (examples (1) and (2) above) and Form mistakes (examples (3) and (4) above), respectively (see Sec.