quality_property
quantified_instance