# Error messages for the LessThan Checker
from.gt.to=While attempting to validate a subsequence type, the LessThan Checker could not prove that %s is less than or equal to %s.%nfound   : %s%nrequired: an integer <= %s (@LessThan("%s + 1"))