Text this: Model-Checking Problems as a Basis for Parameterized Intractability