generalizeable hybridisable symmetrisable approximatable discriminatable serotypable excludible demonstratable programable rephraseable