[ BeginEnv "definition"
, Label "bar"
, BeginEnv "math"
, Variable "x"
, EndEnv "math"
, Word "is"
, Word "a"
, Word "bar"
, Word "iff"
, BeginEnv "math"
, Variable "x"
, Symbol "="
, Variable "x"
, EndEnv "math"
, Symbol "."
, EndEnv "definition"
, BeginEnv "definition"
, Label "foo"
, BeginEnv "math"
, Variable "x"
, EndEnv "math"
, Word "is"
, Word "foo"
, Word "iff"
, BeginEnv "math"
, Variable "x"
, Symbol "="
, Variable "x"
, EndEnv "math"
, Symbol "."
, EndEnv "definition"
, BeginEnv "definition"
, Label "baz"
, BeginEnv "math"
, Variable "x"
, EndEnv "math"
, Word "is"
, Word "baz"
, Word "iff"
, BeginEnv "math"
, Variable "x"
, Symbol "="
, Variable "x"
, EndEnv "math"
, Symbol "."
, EndEnv "definition"
, BeginEnv "proposition"
, Label "nouns"
, Word "let"
, BeginEnv "math"
, Variable "x"
, Symbol ","
, Variable "y"
, EndEnv "math"
, Word "be"
, Word "bars"
, Symbol "."
, Word "then"
, BeginEnv "math"
, Variable "x"
, Symbol "="
, Variable "x"
, EndEnv "math"
, Symbol "."
, EndEnv "proposition"
, BeginEnv "proposition"
, Label "adj_nouns"
, Word "let"
, BeginEnv "math"
, Variable "x"
, Symbol ","
, Variable "y"
, EndEnv "math"
, Word "be"
, Word "foo"
, Word "bars"
, Symbol "."
, Word "then"
, BeginEnv "math"
, Variable "x"
, Symbol "="
, Variable "x"
, EndEnv "math"
, Symbol "."
, EndEnv "proposition"
, BeginEnv "proposition"
, Label "nouns_suchthat"
, Word "let"
, BeginEnv "math"
, Variable "x"
, Symbol ","
, Variable "y"
, EndEnv "math"
, Word "be"
, Word "bars"
, Word "such"
, Word "that"
, BeginEnv "math"
, Variable "x"
, EndEnv "math"
, Word "is"
, Word "foo"
, Word "and"
, BeginEnv "math"
, Variable "y"
, EndEnv "math"
, Word "is"
, Word "baz"
, Symbol "."
, Word "then"
, BeginEnv "math"
, Variable "x"
, Symbol "="
, Variable "x"
, EndEnv "math"
, Symbol "."
, EndEnv "proposition"
, BeginEnv "proposition"
, Label "noun_verb"
, BeginEnv "math"
, Variable "x"
, Symbol "="
, Variable "y"
, EndEnv "math"
, Word "iff"
, BeginEnv "math"
, Variable "x"
, EndEnv "math"
, Word "is"
, Word "a"
, Word "bar"
, Word "equal"
, Word "to"
, BeginEnv "math"
, Variable "y"
, EndEnv "math"
, Symbol "."
, EndEnv "proposition"
, BeginEnv "proposition"
, Label "adjs"
, BeginEnv "math"
, Variable "x"
, EndEnv "math"
, Word "is"
, Word "foo"
, Word "and"
, Word "baz"
, Symbol "."
, EndEnv "proposition"
, BeginEnv "proposition"
, Label "are_nouns"
, Word "let"
, BeginEnv "math"
, Variable "x"
, Symbol ","
, Variable "y"
, EndEnv "math"
, Word "be"
, Word "foo"
, Word "bars"
, Symbol "."
, Word "then"
, BeginEnv "math"
, Variable "x"
, EndEnv "math"
, Word "and"
, BeginEnv "math"
, Variable "y"
, EndEnv "math"
, Word "are"
, Word "foo"
, Word "bars"
, Symbol "."
, EndEnv "proposition"
]