I am building an events app and since an event has multiple properties in the GeoJSON, I was wondering how would I go about creating a filtration system for the user to filt