knowledge graph subgroup of graph, 2 assertions