TA Modern Times ExtLt Cond Regular
TA Modern Times ExtLt ExtExp Regular
TA Modern Times ExtLt SemCond Regular
TA Modern Times ExtLt UltExp Regular
TA Modern Times RoundedExtLt Regular
TA Modern Times SemLt UltCond Regular
