public override float Score() { Debug.Assert(Score_Renamed != 0, CurrentMatched.ToString()); return (float)Score_Renamed * ((BooleanWeight)weight).Coord(CurrentMatched, ((BooleanWeight)weight).MaxCoord); }