almost works as intended, but misses a couple identifiers in an implies statement
works as intended to create appropriate nodes but not edges