DAG, not a tree

Keep track of all is_A relationships, not just one.