stops with the error message: 10000...20000...30000...*** Warning: Sublexicons defined but not used: Pxx