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 ex2C.cstn a 183.0 ⊡ 300.0 326.0 ¬a 208.0 329.0 a 401.0 492.0 ⊡ 316.0 normal {} false {} {(⊡, 4) } normal {} false {} {(⊡, -3) } normal {} false {} {(⊡, 4) } normal {} false {} {(⊡, -3) } normal {} false {} {(⊡, 10) } normal {} false {} {(⊡, -3) } normal {} false {} {(⊡, 10) } normal {} false {} {(⊡, -3) } normal {} false {} {(⊡, 7) } normal {} false {} {(⊡, -7) }