We propose using the entailment graph structure, which describes entailment relations between predicates, to naturally present propositions hierarchically.
the entailment hierarchy can be used as an additional facet, which can improve navigation and provide a compact hierarchical summary of the propositions.