quality_property (PR1)
quantified_instance (S3)