eq { hop { nth_argmin { all_rows ; distance ( ly ) ; 1 } ; constellation } ; ursa major } = true
select the row whose distance  ly  record of all rows is 1st minimum . the constellation record of this row is ursa major .