edge aspect of graph, 57 assertions