Graph Name Proposition Observed. Format: [a-zA-Z] Label. Format: [¬[a-zA-Z]|[a-zA-Z]]+|⊡ The y coordinate for the visualitation. A positive value. 0 The x coordinate for the visualitation. A positive value. 0 Value. Format: an integer. 1 Type: Possible values: normal|contingent|constraint. normal Labeled Values. Format: {[[\('label', 'integer'\) ]+}|{} ex1C.cstnu A ⊡ 39.0 359.0 B A 141.0 400.0 A 389.0 139.0 A 191.0 137.0 AB 341.0 302.0 AB 204.0 316.0 A¬B 337.0 504.0 A¬B 187.0 481.0 A 437.0 424.0 5 normal {} -1 normal {} 4 normal {} -1 normal {} 8 contingent {} -3 contingent {} 7 contingent {} -2 contingent {} 4 normal {} -1 normal {} 4 normal {} -1 normal {} 10 contingent {} -5 contingent {} 9 normal {} -1 normal {} 6 normal {} -1 normal {} 3 normal {} -1 normal {}