"underlying knowledge graph" is a directed acyclic graph (DAG), based on prerequisite relations among topics. So you are right that there cannot be cycles but it's not a tree either because a tree (technically) only allows one parent.