/usr/lib/swipl/library/pldoc/man_index.pl
AllApplicationManualNameSummaryHelp

 man_object_property(?Object, ?Property) is nondet
True when Property is a property of the given manual object. Defined properties are:
summary(-Text)
Summary text for the object.
id(ID)
Return unique id for the text, so we can remove duplicates