Label optimization LabeledIntGraph Name Proposition Observed. Format: [a-zA-Z] The x coordinate for the visualitation. A positive value. 0 Label. Format: [¬[a-zA-Z]|[a-zA-Z]]+|⊡ The y coordinate for the visualitation. A positive value. 0 Type: Possible values: normal|contingent|constraint. normal Lower-Case Labeled Values. Format: {[[\('label', 'lower case name', 'integer'\) ]+}|{} If the labeled values must be optimized. Format: a boolean. true Upper-Case Labeled Values. Format: {[[\('label', 'UPPER CASE NAME', 'integer'\) ]+}|{} Labeled Values. Format: {[[\('label', 'integer'\) ]+}|{} false fig2Paper.cstnu 678.0 pq 179.0 686.0 pq 361.0 472.0 p¬q 262.0 281.0 p¬q 367.0 137.0 ¬p 191.0 137.0 ¬p 468.0 p 297.0 ⊡ 14.0 q 489.0 p 20.0 140.0 ⊡ 26.0 normal {} false {} {(¬p, 10) } normal {} false {} {(¬p, 0) } normal {} false {} {(pq, 10) } normal {} false {} {(pq, 0) } contingent {} false {} {(p¬q, 10) } contingent {} false {} {(p¬q, -8) } contingent {} false {} {(pq, 20) } contingent {} false {} {(pq, -10) } contingent {} false {} {(¬p, 30) } contingent {} false {} {(¬p, -10) } normal {} false {} {(p, 1) } normal {} false {} {(p, 0) } normal {} false {} {(p¬q, 14) } normal {} false {} {(p¬q, -7) } normal {} false {} {(p¬q, 5) } normal {} false {} {(pq, 25) } normal {} false {} {(pq, -10) } normal {} false {} {(p¬q, 0) }