alt.Chart(df).mark_circle().encode( x='petalLength', y='petalWidth', color='species' )