Text this: A logical limit law for $231$-avoiding permutations