Goal Recognition over Nominal Models