Relation pm#concept_in_Dolce_Full (dolce#world,?) supertype: pm#relation_from_a_world subtype: dolce#non-empty_universal__NEP (dolce#world,dolce#universal)
Another search (with same display options)?