Title: Roman Ingarden's ontology