Getting datoms with options