and { eq { min { all_rows ; place } ; 1 } ; eq { hop { argmin { all_rows ; place } ; dancers } ; katja koukkula & jussi väänänen } } = true
the minimum place record of all rows is 1 . the dancers record of the row with superlative place record is katja koukkula  jussi väänänen .