A leak-free ordered path between two entities.
the proposition summaries connecting consecutive entities
the ordered entity id sequence (empty for no path)