[ BeginEnv "abbreviation"
, Label "empty"
, BeginEnv "math"
, Variable "x"
, EndEnv "math"
, Word "is"
, Word "empty"
, Word "iff"
, Word "there"
, Word "exists"
, Word "no"
, BeginEnv "math"
, Variable "y"
, EndEnv "math"
, Word "such"
, Word "that"
, BeginEnv "math"
, Variable "y"
, Command "in"
, Variable "x"
, EndEnv "math"
, Symbol "."
, EndEnv "abbreviation"
, BeginEnv "proposition"
, Label "dummy_abbr_test_adj"
, Word "if"
, BeginEnv "math"
, Variable "x"
, EndEnv "math"
, Word "is"
, Word "empty"
, Symbol ","
, Word "then"
, BeginEnv "math"
, Variable "x"
, EndEnv "math"
, Word "is"
, Word "empty"
, Symbol "."
, EndEnv "proposition"
, BeginEnv "abbreviation"
, Label "function"
, BeginEnv "math"
, Variable "x"
, EndEnv "math"
, Word "is"
, Word "a"
, Word "function"
, Word "iff"
, BeginEnv "math"
, Variable "x"
, Symbol "="
, Variable "x"
, EndEnv "math"
, Symbol "."
, EndEnv "abbreviation"
, BeginEnv "proposition"
, Label "dummy_abbr_test_noun"
, Word "for"
, Word "all"
, BeginEnv "math"
, Variable "x"
, EndEnv "math"
, Word "we"
, Word "have"
, BeginEnv "math"
, Variable "x"
, EndEnv "math"
, Word "is"
, Word "a"
, Word "function"
, Symbol "."
, EndEnv "proposition"
, BeginEnv "abbreviation"
, Label "converges"
, BeginEnv "math"
, Variable "x"
, EndEnv "math"
, Word "converges"
, Word "to"
, BeginEnv "math"
, Variable "y"
, EndEnv "math"
, Word "iff"
, BeginEnv "math"
, Variable "x"
, Symbol "="
, Variable "y"
, EndEnv "math"
, Symbol "."
, EndEnv "abbreviation"
, BeginEnv "proposition"
, Label "dummy_abbr_test_verb"
, Word "if"
, BeginEnv "math"
, Variable "x"
, EndEnv "math"
, Word "converges"
, Word "to"
, BeginEnv "math"
, Variable "y"
, EndEnv "math"
, Symbol ","
, Word "then"
, BeginEnv "math"
, Variable "x"
, Symbol "="
, Variable "y"
, EndEnv "math"
, Symbol "."
, EndEnv "proposition"
, BeginEnv "proposition"
, Label "abbr_test_notin"
, Word "if"
, BeginEnv "math"
, Variable "x"
, Command "notin"
, Variable "y"
, EndEnv "math"
, Symbol ","
, Word "then"
, BeginEnv "math"
, Variable "x"
, Command "not"
, Command "in"
, Variable "y"
, EndEnv "math"
, Symbol "."
, EndEnv "proposition"
, BeginEnv "proposition"
, Label "abbr_test_elementof_is_in"
, Word "if"
, BeginEnv "math"
, Variable "x"
, EndEnv "math"
, Word "is"
, Word "an"
, Word "element"
, Word "of"
, BeginEnv "math"
, Variable "y"
, EndEnv "math"
, Symbol ","
, Word "then"
, BeginEnv "math"
, Variable "x"
, Command "in"
, Variable "y"
, EndEnv "math"
, Symbol "."
, EndEnv "proposition"
, BeginEnv "proposition"
, Label "abbr_test_equals_is_eq"
, Word "if"
, BeginEnv "math"
, Variable "x"
, EndEnv "math"
, Word "equals"
, BeginEnv "math"
, Variable "y"
, EndEnv "math"
, Symbol ","
, Word "then"
, BeginEnv "math"
, Variable "x"
, Symbol "="
, Variable "y"
, EndEnv "math"
, Symbol "."
, EndEnv "proposition"
]