Named Model-Type Assumptions (by Domain)