ReasoningForLine (Gazelle)