Module ImportFrom alias alias Import alias ImportFrom alias ImportFrom alias alias ImportFrom alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias TryExcept body ImportFrom alias ImportFrom alias ImportFrom alias ImportFrom alias handlers ExceptHandler type NameLoad body Pass ClassDef bases NameLoad body Assign NameStore Str Assign NameStore Str Assign NameStore Str Assign NameStore Str Assign NameStore Str Assign NameStore Str Assign NameStore ListLoad NameLoad NameLoad NameLoad NameLoad Assign NameStore BinOpAdd AttributeLoad NameLoad attr NameLoad Assign NameStore BinOpAdd BinOpAdd AttributeLoad NameLoad attr ListLoad NameLoad NameLoad decorator_list ClassDef bases NameLoad body Expr Str FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr NameLoad Assign AttributeStore NameLoad attr Call NameLoad BinOpAdd BinOpAdd BinOpAdd BinOpAdd BinOpAdd BinOpAdd BinOpAdd BinOpAdd ListComp TupleLoad NameLoad Num comprehension NameStore AttributeLoad NameLoad attr ListComp TupleLoad NameLoad Num comprehension NameStore AttributeLoad NameLoad attr ListLoad TupleLoad NameLoad Num ListComp TupleLoad NameLoad Num comprehension NameStore BinOpAdd AttributeLoad NameLoad attr AttributeLoad NameLoad attr ListLoad TupleLoad AttributeLoad NameLoad attr Num ListLoad TupleLoad AttributeLoad NameLoad attr Num ListComp TupleLoad NameLoad Num comprehension NameStore AttributeLoad NameLoad attr ListComp TupleLoad NameLoad Num comprehension NameStore AttributeLoad NameLoad attr ListLoad TupleLoad NameLoad Num decorator_list FunctionDef arguments args NameParam defaults body Expr Str Return AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam NameParam defaults body Return CompareNotIn NameLoad AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str If CompareIn NameLoad AttributeLoad NameLoad attr body Return Call AttributeLoad NameLoad attr NameLoad NameLoad orelse If CompareIn NameLoad AttributeLoad NameLoad attr body Return Call AttributeLoad NameLoad attr NameLoad NameLoad orelse If CompareEq NameLoad AttributeLoad NameLoad attr body If BoolOpAnd Call AttributeLoad NameLoad attr Num CompareEq Call AttributeLoad NameLoad attr Num AttributeLoad NameLoad attr body Return Call AttributeLoad NameLoad attr NameLoad NameLoad orelse Return Call AttributeLoad NameLoad attr NameLoad NameLoad orelse If CompareEq Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr body Expr Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Return Call AttributeLoad NameLoad attr NameLoad NameLoad orelse If Call AttributeLoad NameLoad attr NameLoad body If BoolOpAnd Call AttributeLoad NameLoad attr Num CompareEq Call AttributeLoad NameLoad attr Num AttributeLoad NameLoad attr body Return Call AttributeLoad NameLoad attr NameLoad NameLoad orelse Return Call AttributeLoad NameLoad attr NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Return Call NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Assign NameStore Call AttributeLoad NameLoad attr If BoolOpAnd Call AttributeLoad NameLoad attr Num CompareEq Call AttributeLoad NameLoad attr Num AttributeLoad NameLoad attr body Expr Call AttributeLoad NameLoad attr Assign NameStore Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Return Call NameLoad NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Assign NameStore ListLoad While BoolOpAnd Call AttributeLoad NameLoad attr Num CompareNotEq Call AttributeLoad NameLoad attr Num AttributeLoad NameLoad attr body If BoolOpAnd NameLoad CompareEq Call AttributeLoad NameLoad attr Num AttributeLoad NameLoad attr body Expr Call AttributeLoad NameLoad attr Expr Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr Str Expr Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Expr Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Assign NameStore ListLoad While BoolOpAnd Call AttributeLoad NameLoad attr Num CompareNotEq Call AttributeLoad NameLoad attr Num AttributeLoad NameLoad attr body If BoolOpAnd NameLoad CompareEq Call AttributeLoad NameLoad attr Num AttributeLoad NameLoad attr body Expr Call AttributeLoad NameLoad attr Expr Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Assign NameStore Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr Str Assign NameStore Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Return Call NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str Return Call NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Expr Str If CompareEq NameLoad AttributeLoad NameLoad attr body Return Lambda arguments args NameParam NameParam defaults Call NameLoad NameLoad NameLoad NameLoad orelse If CompareIn NameLoad AttributeLoad NameLoad attr body Return NameLoad orelse If CompareIn NameLoad AttributeLoad NameLoad attr body FunctionDef arguments args NameParam NameParam defaults body If Call NameLoad NameLoad NameLoad body Return Call NameLoad AttributeLoad NameLoad attr AttributeLoad NameLoad attr NameLoad If Call NameLoad NameLoad NameLoad body Return Call NameLoad AttributeLoad NameLoad attr AttributeLoad NameLoad attr NameLoad Raise Call NameLoad Str decorator_list Return NameLoad orelse Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam defaults body Return Call NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Return Call NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Return Call NameLoad Call NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Return Call NameLoad NameLoad NameLoad decorator_list decorator_list ClassDef bases NameLoad body Expr Str Assign NameStore Call NameLoad FunctionDef arguments args NameParam NameParam defaults body Return Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad decorator_list NameLoad FunctionDef arguments args NameParam NameParam defaults body Return Call NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body Return Call NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Raise Call NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Assert Call NameLoad NameLoad NameLoad Return Call NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Assert Call NameLoad NameLoad NameLoad If Call NameLoad NameLoad NameLoad body Return Call NameLoad AttributeLoad NameLoad attr AttributeLoad NameLoad attr NameLoad If Call NameLoad NameLoad NameLoad body Return Call NameLoad AttributeLoad NameLoad attr AttributeLoad NameLoad attr NameLoad Raise Call NameLoad Str decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults NameLoad body Expr Str Assert Call NameLoad NameLoad NameLoad Assign NameStore Call AttributeLoad Call AttributeLoad NameLoad attr attr Assign NameStore Call AttributeLoad Call AttributeLoad NameLoad attr attr Return Call AttributeLoad NameLoad attr NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body Raise Call NameLoad BinOpMod Str AttributeLoad AttributeLoad NameLoad attr attr decorator_list NameLoad FunctionDef arguments args NameParam NameParam defaults NameLoad body Raise Call NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Return Call NameLoad NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults NameLoad body Expr Str Raise Call NameLoad decorator_list FunctionDef arguments args NameParam defaults body Expr Str Return BoolOpAnd Call NameLoad NameLoad NameLoad Call NameLoad AttributeLoad NameLoad attr NameLoad CompareEq AttributeLoad AttributeLoad AttributeLoad NameLoad attr attr attr AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Return Call NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Return Call NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body Return Call NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body Return Call AttributeLoad NameLoad attr Lambda arguments args NameParam defaults Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam defaults body Expr Str Return Call AttributeLoad Str attr Call AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam defaults body Expr Call NameLoad Call AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam defaults body Expr Call AttributeLoad Call NameLoad NameLoad attr decorator_list decorator_list ClassDef bases NameLoad NameLoad body Expr Str FunctionDef arguments args NameParam NameParam NameParam NameParam defaults NameLoad body Expr Str Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam defaults NameLoad NameLoad body Expr Str If CompareIn NameLoad AttributeLoad NameLoad attr body If UnaryOpNot NameLoad body Return NameLoad orelse Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad If AttributeLoad NameLoad attr body Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad NameLoad NameLoad NameLoad orelse Assign NameStore NameLoad Return Call NameLoad BinOpAdd BinOpAdd SubscriptLoad AttributeLoad NameLoad attr Slice NameLoad ListLoad AttributeLoad NameLoad attr SubscriptLoad AttributeLoad NameLoad attr Slice BinOpAdd NameLoad Num ListComp Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad NameLoad comprehension NameStore AttributeLoad NameLoad attr NameLoad orelse If NameLoad body For NameStore BinOpBitAnd Call NameLoad AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr body Assign NameStore Call NameLoad NameLoad Assign NameStore Call NameLoad NameLoad Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad If AttributeLoad NameLoad attr body Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad NameLoad NameLoad NameLoad orelse Assign NameStore NameLoad Assign NameStore Call NameLoad BinOpAdd BinOpAdd SubscriptLoad AttributeLoad NameLoad attr Slice NameLoad ListLoad NameLoad SubscriptLoad AttributeLoad NameLoad attr Slice BinOpAdd NameLoad Num ListComp Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad NameLoad comprehension NameStore AttributeLoad NameLoad attr NameLoad If AttributeLoad NameLoad attr body Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad NameLoad NameLoad NameLoad orelse Assign NameStore NameLoad Return Call NameLoad AttributeLoad NameLoad attr ListComp Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad NameLoad comprehension NameStore AttributeLoad NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Expr Str Assign NameStore Call NameLoad AttributeLoad NameLoad attr ListComp Call AttributeLoad NameLoad attr comprehension NameStore AttributeLoad NameLoad attr Call NameLoad If AttributeLoad NameLoad attr body Expr Call AttributeLoad NameLoad attr Call AttributeLoad AttributeLoad NameLoad attr attr Return BinOpSub NameLoad Call NameLoad AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam NameParam defaults NameLoad body Expr Str If NameLoad body Assign NameStore BinOpAdd AttributeLoad NameLoad attr Call NameLoad GeneratorExp Call AttributeLoad NameLoad attr NameLoad comprehension NameStore AttributeLoad NameLoad attr ListLoad If AttributeLoad NameLoad attr body Expr Call AttributeLoad NameLoad attr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Return NameLoad orelse Return AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str Assign NameStore Call NameLoad Call NameLoad NameLoad AttributeLoad NameLoad attr If AttributeLoad NameLoad attr body Expr Call AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr Return Call NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str Assign NameStore IfExp AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr NameLoad Return Call NameLoad AttributeLoad NameLoad attr Call NameLoad Call NameLoad NameLoad AttributeLoad NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore NameLoad Assign NameStore Num While CompareLt NameLoad Call NameLoad AttributeLoad NameLoad attr body Assign NameStore SubscriptLoad AttributeLoad NameLoad attr Index NameLoad If BoolOpAnd Call NameLoad NameLoad NameLoad Call NameLoad AttributeLoad NameLoad attr NameLoad Call NameLoad AttributeLoad NameLoad attr NameLoad body Assign NameStore Call NameLoad Call NameLoad BinOpSub Call NameLoad AttributeLoad NameLoad attr Call NameLoad ListLoad AttributeLoad AttributeLoad NameLoad attr attr BinOpAdd SubscriptLoad AttributeLoad NameLoad attr Slice NameLoad SubscriptLoad AttributeLoad NameLoad attr Slice BinOpAdd NameLoad Num AttributeLoad NameLoad attr If CompareNotEq AttributeLoad AttributeLoad NameLoad attr attr AttributeLoad AttributeLoad NameLoad attr attr body Assign NameStore Call AttributeLoad NameLoad attr AttributeLoad AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr NameLoad NameLoad Assign NameStore Num AugAssignSub NameStore Num AugAssignAdd NameStore Num Assign NameStore ListLoad For NameStore AttributeLoad NameLoad attr body Assign NameStore Call AttributeLoad NameLoad attr Assign NameStore Call AttributeLoad NameLoad attr If BoolOpOr UnaryOpNot Call NameLoad NameLoad NameLoad AttributeLoad NameLoad attr AttributeLoad NameLoad attr AttributeLoad NameLoad attr body Expr Call AttributeLoad NameLoad attr NameLoad Assign NameStore IfExp AttributeLoad NameLoad attr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Return Call NameLoad AttributeLoad NameLoad attr NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body If AttributeLoad NameLoad attr body Assign NameStore NameLoad If AttributeLoad NameLoad attr body Assign NameStore Call NameLoad NameLoad ListComp Call AttributeLoad NameLoad attr comprehension NameStore AttributeLoad NameLoad attr If NameLoad body Assign NameStore Call NameLoad NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr orelse Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr For NameStore SubscriptLoad AttributeLoad NameLoad attr Slice Num body Assign NameStore Call NameLoad NameLoad NameLoad Return NameLoad orelse If UnaryOpNot AttributeLoad NameLoad attr body Raise Call NameLoad Str Assign NameStore Call NameLoad NameLoad ListComp Call AttributeLoad NameLoad attr comprehension NameStore AttributeLoad NameLoad attr For NameStore Call NameLoad NameLoad SubscriptLoad Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Slice Num body Assign NameStore Call NameLoad NameLoad NameLoad Return NameLoad decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore Call AttributeLoad Str attr Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Assign NameStore ListComp NameLoad comprehension NameStore ListComp Call NameLoad Lambda arguments args NameParam defaults Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr comprehension NameStore AttributeLoad NameLoad attr comprehension NameStore NameLoad Assign NameStore Call NameLoad BinOpAdd ListLoad Call NameLoad NameLoad Call NameLoad Call NameLoad NameLoad NameLoad Assign NameStore BinOpAdd BinOpAdd ListLoad BinOpAdd BinOpAdd Str BinOpMult Str NameLoad Str BinOpAdd BinOpAdd Str Call AttributeLoad NameLoad attr NameLoad Str BinOpAdd BinOpAdd Str BinOpMult Str NameLoad Str ListComp BinOpAdd BinOpAdd Str Call AttributeLoad NameLoad attr NameLoad Str comprehension NameStore NameLoad ListLoad BinOpAdd BinOpAdd Str BinOpMult Str NameLoad Str If AttributeLoad NameLoad attr body Return Call AttributeLoad NameLoad attr NameLoad AttributeLoad NameLoad attr Call AttributeLoad AttributeLoad NameLoad attr attr Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Assign NameStore ListComp BinOpMod Str NameLoad comprehension NameStore NameLoad Assign NameStore ListLoad Assign NameStore ListLoad Assign NameStore ListLoad Assign NameStore ListLoad For NameStore NameLoad body If Call NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad orelse If Call NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad orelse If Call NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad orelse Expr Call AttributeLoad NameLoad attr NameLoad Return BinOpAdd BinOpAdd BinOpAdd Call NameLoad NameLoad Call NameLoad NameLoad keyword Lambda arguments args NameParam defaults Call NameLoad SubscriptLoad ListLoad SubscriptLoad NameLoad Slice Num Num Index CompareEq Call NameLoad SubscriptLoad NameLoad Slice Num Num Call NameLoad NameLoad keyword Lambda arguments args NameParam defaults TupleLoad SubscriptLoad NameLoad Index Num Call NameLoad SubscriptLoad ListLoad SubscriptLoad NameLoad Slice Num Num Index CompareEq Call NameLoad SubscriptLoad NameLoad Slice Num Num Call NameLoad NameLoad keyword Lambda arguments args NameParam defaults TupleLoad SubscriptLoad NameLoad Index Num Call NameLoad SubscriptLoad ListLoad SubscriptLoad NameLoad Slice Num Num Index CompareEq Call NameLoad SubscriptLoad NameLoad Slice Num Num decorator_list FunctionDef arguments args NameParam NameParam defaults body Expr Str If Call NameLoad NameLoad NameLoad body If CompareEq Call NameLoad AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr body Assign NameStore NameLoad For TupleStore NameStore NameStore Call NameLoad AttributeLoad NameLoad attr AttributeLoad NameLoad attr body Assign NameStore Call AttributeLoad NameLoad attr NameLoad Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad If BoolOpAnd CompareEq AttributeLoad NameLoad attr AttributeLoad NameLoad attr CompareEq Call NameLoad AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr body For TupleStore NameStore NameStore Call NameLoad AttributeLoad NameLoad attr AttributeLoad NameLoad attr body If UnaryOpNot CompareEq NameLoad NameLoad body Return NameLoad Return NameLoad Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Return UnaryOpNot CompareEq NameLoad NameLoad decorator_list Assign NameStore AttributeLoad NameLoad attr FunctionDef arguments args NameParam defaults body Assign NameStore BinOpMod Str TupleLoad Call AttributeLoad Str attr Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Call AttributeLoad Str attr GeneratorExp BinOpMod Str NameLoad comprehension NameStore AttributeLoad NameLoad attr If AttributeLoad NameLoad attr body Return BinOpAdd BinOpAdd BinOpAdd BinOpAdd BinOpAdd BinOpAdd AttributeLoad NameLoad attr NameLoad Str AttributeLoad NameLoad attr Str BinOpMod Str AttributeLoad NameLoad attr AttributeLoad NameLoad attr Return NameLoad decorator_list decorator_list NameLoad FunctionDef arguments args NameParam defaults body Expr Str If Call NameLoad AttributeLoad NameLoad attr body Return Call NameLoad NameLoad orelse If Call NameLoad AttributeLoad NameLoad attr body Return Call NameLoad NameLoad orelse If Call NameLoad AttributeLoad NameLoad attr body Return Call NameLoad NameLoad orelse Return Call NameLoad NameLoad decorator_list ClassDef bases NameLoad NameLoad body FunctionDef arguments args NameParam defaults body Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults NameLoad body Expr Str Return ListLoad decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore BinOpMod Str NameLoad Assign NameStore BinOpMult Str Call NameLoad NameLoad Return ListLoad NameLoad NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body Return NameLoad decorator_list decorator_list ClassDef bases NameLoad NameLoad body Pass decorator_list ClassDef bases NameLoad NameLoad body Pass decorator_list ClassDef bases NameLoad NameLoad body Pass decorator_list ClassDef bases NameLoad NameLoad body Pass decorator_list ClassDef bases NameLoad NameLoad body FunctionDef arguments args NameParam NameParam NameParam defaults body Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam defaults NameLoad NameLoad body If CompareEq AttributeLoad NameLoad attr NameLoad body Assert Call NameLoad NameLoad NameLoad Str Return Call NameLoad AttributeLoad NameLoad attr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad NameLoad NameLoad NameLoad orelse Return Call NameLoad AttributeLoad NameLoad attr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body Return Call NameLoad AttributeLoad NameLoad attr Call AttributeLoad AttributeLoad NameLoad attr attr decorator_list FunctionDef arguments args NameParam NameParam defaults NameLoad body Return IfExp NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad ListLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Return BoolOpAnd CompareEq AttributeLoad NameLoad attr AttributeLoad NameLoad attr CompareEq AttributeLoad NameLoad attr AttributeLoad NameLoad attr CompareEq AttributeLoad NameLoad attr AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam NameParam defaults body Return UnaryOpNot CompareEq NameLoad NameLoad decorator_list Assign NameStore AttributeLoad NameLoad attr FunctionDef arguments args NameParam defaults body Return Call AttributeLoad AttributeLoad NameLoad attr attr decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr Assign NameStore BinOpMult Str Call NameLoad BinOpMod Str AttributeLoad NameLoad attr Return BinOpAdd BinOpAdd ListComp BinOpAdd BinOpAdd NameLoad Str NameLoad comprehension NameStore SubscriptLoad NameLoad Slice Num ListComp BinOpAdd BinOpAdd BinOpMod Str AttributeLoad NameLoad attr Str NameLoad comprehension NameStore SubscriptLoad NameLoad Slice Num Num ListComp BinOpAdd BinOpAdd NameLoad Str NameLoad comprehension NameStore SubscriptLoad NameLoad Slice Num decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str Return Call NameLoad ListLoad Call NameLoad AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str Return Call NameLoad AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam defaults body Return BinOpMod Str TupleLoad AttributeLoad NameLoad attr AttributeLoad NameLoad attr decorator_list decorator_list NameLoad ClassDef bases NameLoad NameLoad body FunctionDef arguments args NameParam defaults body Return Call NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr decorator_list FunctionDef arguments args NameParam NameParam defaults NameLoad body Expr Str Return Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr Return BinOpAdd BinOpAdd BinOpAdd ListComp BinOpAdd Str NameLoad comprehension NameStore SubscriptLoad NameLoad Slice Num ListComp BinOpAdd Str NameLoad comprehension NameStore SubscriptLoad NameLoad Slice Num Num ListComp BinOpAdd Str NameLoad comprehension NameStore SubscriptLoad NameLoad Slice Num Num ListComp BinOpAdd Str NameLoad comprehension NameStore SubscriptLoad NameLoad Slice Num decorator_list decorator_list ClassDef bases NameLoad NameLoad body FunctionDef arguments args NameParam NameParam defaults body Expr Str Return Call AttributeLoad NameLoad attr NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr Call NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body Return Call NameLoad AttributeLoad NameLoad attr Call AttributeLoad AttributeLoad NameLoad attr attr decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore ListLoad AttributeLoad NameLoad attr Assign NameStore AttributeLoad NameLoad attr While CompareEq AttributeLoad NameLoad attr AttributeLoad NameLoad attr body Expr Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Assign NameStore AttributeLoad NameLoad attr Assign NameStore BinOpAdd Call AttributeLoad Str attr GeneratorExp BinOpMod Str NameLoad comprehension NameStore NameLoad AttributeLoad NameLoad attr Assign NameStore Call AttributeLoad NameLoad attr Assign NameStore BinOpMult Str Call NameLoad NameLoad Return BinOpAdd BinOpAdd BinOpAdd ListComp BinOpAdd BinOpAdd Str NameLoad NameLoad comprehension NameStore SubscriptLoad NameLoad Slice Num ListComp BinOpAdd BinOpAdd Str NameLoad NameLoad comprehension NameStore SubscriptLoad NameLoad Slice Num Num ListComp BinOpAdd BinOpAdd Str NameLoad NameLoad comprehension NameStore SubscriptLoad NameLoad Slice Num Num ListComp BinOpAdd BinOpAdd Str NameLoad NameLoad comprehension NameStore SubscriptLoad NameLoad Slice Num decorator_list decorator_list ClassDef bases NameLoad NameLoad body FunctionDef arguments args NameParam NameParam defaults NameLoad body Expr Str Return IfExp NameLoad BinOpAdd Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad ListLoad decorator_list FunctionDef arguments args NameParam defaults body Return Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Assign NameStore Call NameLoad Call NameLoad NameLoad Call NameLoad NameLoad Assign NameStore Call NameLoad NameLoad NameLoad Assign NameStore Call NameLoad NameLoad NameLoad Assign NameStore BinOpMult Str Call NameLoad NameLoad Assign NameStore Call NameLoad Call NameLoad NameLoad NameLoad Return BinOpAdd BinOpAdd ListComp BinOpAdd BinOpAdd BinOpAdd BinOpAdd BinOpAdd BinOpAdd Str NameLoad Str NameLoad Str NameLoad Str comprehension TupleStore NameStore NameStore SubscriptLoad NameLoad Slice Num ListComp BinOpAdd BinOpAdd BinOpAdd BinOpAdd BinOpAdd BinOpAdd Str NameLoad Str NameLoad Str NameLoad Str comprehension TupleStore NameStore NameStore SubscriptLoad NameLoad Slice Num Num ListComp BinOpAdd BinOpAdd BinOpAdd BinOpAdd BinOpAdd BinOpAdd Str NameLoad Str NameLoad Str NameLoad Str comprehension TupleStore NameStore NameStore SubscriptLoad NameLoad Slice Num decorator_list NameLoad FunctionDef arguments args NameParam NameParam defaults body Return Call AttributeLoad NameLoad attr decorator_list decorator_list ClassDef bases NameLoad NameLoad body Pass decorator_list ClassDef bases NameLoad NameLoad body FunctionDef arguments args NameParam defaults body Return Call NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr Call AttributeLoad AttributeLoad NameLoad attr attr decorator_list FunctionDef arguments args NameParam NameParam defaults body If Call NameLoad NameLoad NameLoad body Return ListComp SubscriptLoad NameLoad Slice Num Num comprehension NameStore Call AttributeLoad NameLoad attr Return Call AttributeLoad NameLoad attr NameLoad NameLoad decorator_list decorator_list ClassDef bases NameLoad NameLoad body FunctionDef arguments args NameParam defaults body Return Call NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr Call AttributeLoad AttributeLoad NameLoad attr attr decorator_list decorator_list ClassDef bases NameLoad body Expr Str FunctionDef arguments args NameParam NameParam NameParam NameParam defaults NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Assign AttributeStore NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam defaults NameLoad NameLoad body Expr Str Assign NameStore AttributeLoad NameLoad attr Assign NameStore AttributeLoad NameLoad attr Assign NameStore AttributeLoad NameLoad attr If CompareIn NameLoad Call AttributeLoad NameLoad attr body If NameLoad body Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad NameLoad Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad NameLoad If NameLoad body Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad NameLoad orelse If NameLoad body For NameStore BinOpBitAnd Call NameLoad Call AttributeLoad NameLoad attr NameLoad Call AttributeLoad NameLoad attr body Assign NameStore Call NameLoad Call NameLoad NameLoad Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad NameLoad Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad NameLoad If NameLoad body Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad NameLoad Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad NameLoad Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad NameLoad If NameLoad body Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad NameLoad Return Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore Call AttributeLoad NameLoad attr Assert UnaryOpNot Call NameLoad NameLoad NameLoad Return Call AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr Assign NameStore Call AttributeLoad AttributeLoad NameLoad attr attr Assign NameStore IfExp AttributeLoad NameLoad attr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad If BoolOpAnd Call NameLoad NameLoad NameLoad Call NameLoad NameLoad NameLoad body For NameStore BinOpBitAnd Call NameLoad Call AttributeLoad NameLoad attr NameLoad Call NameLoad Call AttributeLoad NameLoad attr NameLoad body Assign NameStore Call NameLoad Call NameLoad NameLoad Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Return Call NameLoad BinOpAdd AttributeLoad NameLoad attr AttributeLoad NameLoad attr BinOpAdd AttributeLoad NameLoad attr AttributeLoad NameLoad attr NameLoad orelse Return Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults NameLoad body Expr Str Assign NameStore BinOpAdd Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad If BoolOpAnd AttributeLoad NameLoad attr NameLoad body Expr Call AttributeLoad NameLoad attr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Return NameLoad decorator_list FunctionDef arguments args NameParam defaults body Return AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam NameParam defaults body Expr Str If Call NameLoad NameLoad NameLoad body Assign NameStore Call AttributeLoad NameLoad attr Assign NameStore Call AttributeLoad NameLoad attr If CompareEq Call NameLoad NameLoad Call NameLoad NameLoad body Assign NameStore NameLoad For TupleStore NameStore NameStore Call NameLoad NameLoad NameLoad body Assign NameStore Call AttributeLoad NameLoad attr NameLoad Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Return BoolOpAnd CompareEq AttributeLoad NameLoad attr AttributeLoad NameLoad attr CompareEq AttributeLoad NameLoad attr AttributeLoad NameLoad attr CompareEq AttributeLoad NameLoad attr AttributeLoad NameLoad attr Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Return UnaryOpNot CompareEq NameLoad NameLoad decorator_list Assign NameStore AttributeLoad NameLoad attr FunctionDef arguments args NameParam defaults body Assign NameStore Call NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr Call AttributeLoad AttributeLoad NameLoad attr attr If AttributeLoad NameLoad attr body Assign NameStore Call NameLoad NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr Return NameLoad decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr If AttributeLoad NameLoad attr body Assign NameStore Call AttributeLoad NameLoad attr NameLoad AttributeLoad NameLoad attr Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body If Call NameLoad NameLoad NameLoad body Return ListComp SubscriptLoad NameLoad Slice Num Num comprehension NameStore Call AttributeLoad NameLoad attr Return Call AttributeLoad NameLoad attr NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults body Expr Str If AttributeLoad NameLoad attr body Return Call NameLoad ListLoad Call NameLoad AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr orelse Return Call NameLoad ListLoad Call NameLoad AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Assign NameStore Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Assign NameStore BinOpAdd BinOpAdd BinOpAdd BinOpAdd BinOpAdd BinOpAdd AttributeLoad NameLoad attr NameLoad Str Call AttributeLoad NameLoad attr Str NameLoad AttributeLoad NameLoad attr If AttributeLoad NameLoad attr body Return BinOpAdd BinOpAdd BinOpAdd BinOpAdd BinOpAdd BinOpAdd AttributeLoad NameLoad attr NameLoad Str AttributeLoad NameLoad attr Str BinOpMod Str AttributeLoad NameLoad attr AttributeLoad NameLoad attr Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Assign NameStore BinOpMod Str NameLoad If BoolOpAnd Call NameLoad NameLoad NameLoad CompareIs AttributeLoad NameLoad attr NameLoad body Return SubscriptLoad NameLoad Slice Num Num Return NameLoad decorator_list decorator_list NameLoad ClassDef bases NameLoad NameLoad body FunctionDef arguments args NameParam defaults body Return Call NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr Call AttributeLoad AttributeLoad NameLoad attr attr decorator_list FunctionDef arguments args NameParam NameParam defaults NameLoad body Expr Str Return IfExp NameLoad BinOpAdd Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad ListLoad decorator_list FunctionDef arguments args NameParam defaults body Assign TupleStore NameStore NameStore Call AttributeLoad NameLoad attr Assign NameStore Call AttributeLoad NameLoad attr Assign NameStore ListComp Call AttributeLoad NameLoad attr comprehension NameStore NameLoad Assign NameStore Call NameLoad Call NameLoad NameLoad BinOpAdd ListLoad NameLoad NameLoad Assign NameStore Call NameLoad NameLoad NameLoad Assign NameStore ListComp Call NameLoad NameLoad NameLoad comprehension NameStore NameLoad Assign NameStore Call NameLoad Call NameLoad NameLoad Call NameLoad Call NameLoad NameLoad Return BinOpAdd BinOpAdd ListComp BinOpAdd BinOpAdd BinOpAdd NameLoad Str Call AttributeLoad Str attr NameLoad Str comprehension TupleStore NameStore NameStore SubscriptLoad NameLoad Slice Num ListComp BinOpAdd BinOpAdd BinOpAdd NameLoad Str Call AttributeLoad Str attr NameLoad Str comprehension TupleStore NameStore NameStore SubscriptLoad NameLoad Slice Num Num ListComp BinOpAdd BinOpAdd BinOpAdd NameLoad Str Call AttributeLoad Str attr NameLoad Str comprehension TupleStore NameStore NameStore SubscriptLoad NameLoad Slice Num decorator_list decorator_list FunctionDef arguments args NameParam NameParam defaults body Assign NameStore ListLoad BinOpMult Str Call NameLoad SubscriptLoad NameLoad Index Num Return BinOpAdd NameLoad BinOpMult NameLoad BinOpSub NameLoad Call NameLoad NameLoad decorator_list ClassDef bases NameLoad NameLoad NameLoad body FunctionDef arguments args NameParam defaults body Expr Str Return Call NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam defaults NameLoad NameLoad body Expr Str Assign NameStore Call NameLoad For NameStore NameLoad body If CompareEq NameLoad NameLoad body Expr Call AttributeLoad NameLoad attr NameLoad orelse Expr Call AttributeLoad NameLoad attr NameLoad Return NameLoad decorator_list FunctionDef arguments args NameParam defaults body Assign NameStore BinOpMod Str NameLoad Assign NameStore BinOpMult Str Call NameLoad NameLoad Return ListLoad NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam defaults body Return BinOpAdd BinOpAdd Str Call AttributeLoad Str attr GeneratorExp BinOpMod Str NameLoad comprehension NameStore NameLoad Str decorator_list decorator_list NameLoad ClassDef bases NameLoad body Pass decorator_list FunctionDef arguments args NameParam NameParam defaults ListLoad body If Call NameLoad NameLoad NameLoad body If Call AttributeLoad NameLoad attr body Assign NameStore Call NameLoad For NameStore NameLoad body For NameStore Call AttributeLoad NameLoad attr body Assign NameStore Call AttributeLoad NameLoad attr NameLoad If BoolOpAnd CompareEq AttributeLoad NameLoad attr AttributeLoad AttributeLoad NameLoad attr attr UnaryOpNot CompareEq NameLoad AttributeLoad NameLoad attr body Expr Call AttributeLoad NameLoad attr NameLoad If CompareEq Call NameLoad NameLoad Num body Assign NameStore SubscriptLoad NameLoad Index Num orelse Assign NameStore NameLoad Return Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr NameLoad orelse Assign NameStore Call NameLoad AttributeLoad NameLoad attr BinOpAdd NameLoad ListLoad NameLoad Assign NameStore Call NameLoad AttributeLoad NameLoad attr BinOpAdd NameLoad ListLoad NameLoad Return Call AttributeLoad NameLoad attr NameLoad NameLoad orelse If Call NameLoad NameLoad NameLoad body Assign NameStore ListLoad For NameStore AttributeLoad NameLoad attr body Assign NameStore Call NameLoad NameLoad BinOpAdd NameLoad ListLoad NameLoad If Call NameLoad NameLoad NameLoad body If Call NameLoad AttributeLoad NameLoad attr NameLoad body Assign NameStore AttributeLoad NameLoad attr Assign AttributeStore NameLoad attr AttributeLoad NameLoad attr Assign AttributeStore NameLoad attr NameLoad If Call NameLoad AttributeLoad NameLoad attr NameLoad body If UnaryOpNot AttributeLoad NameLoad attr body Raise Call NameLoad BinOpMod Str AttributeLoad NameLoad attr Expr Call AttributeLoad NameLoad attr NameLoad If AttributeLoad NameLoad attr body Assign NameStore Call NameLoad AttributeLoad NameLoad attr BinOpAdd NameLoad ListLoad NameLoad orelse Assign NameStore NameLoad Return Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr NameLoad NameLoad orelse If Call NameLoad NameLoad NameLoad body Return NameLoad orelse If Call NameLoad NameLoad NameLoad body Return Call AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr BinOpAdd NameLoad ListLoad NameLoad orelse If Call NameLoad NameLoad NameLoad body If AttributeLoad NameLoad attr body Assign NameStore Call NameLoad AttributeLoad NameLoad attr BinOpAdd NameLoad ListLoad NameLoad orelse Assign NameStore NameLoad Return Call AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr BinOpAdd NameLoad ListLoad NameLoad Call NameLoad AttributeLoad NameLoad attr BinOpAdd NameLoad ListLoad NameLoad NameLoad orelse If Call NameLoad NameLoad NameLoad body Return Call AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr BinOpAdd NameLoad ListLoad NameLoad Call NameLoad AttributeLoad NameLoad attr BinOpAdd NameLoad ListLoad NameLoad orelse If Call NameLoad NameLoad NameLoad body Return Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr BinOpAdd NameLoad ListLoad NameLoad decorator_list ClassDef bases NameLoad body Assign NameStore Num Assign NameStore Num Assign NameStore Num FunctionDef arguments args NameParam NameParam NameParam NameParam defaults NameLoad NameLoad body Expr Str Assign NameStore NameLoad If UnaryOpNot NameLoad body Assign NameStore Call NameLoad Expr Call AttributeLoad NameLoad attr Str Assign NameStore Call NameLoad keyword Str keyword Num If NameLoad body Assign NameStore Call NameLoad NameLoad keyword Num keyword Num Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign TupleStore NameStore NameStore Call AttributeLoad NameLoad attr NameLoad AttributeLoad NameLoad attr AttributeLoad NameLoad attr Assign NameStore Call NameLoad BinOpAdd NameLoad AttributeLoad NameLoad attr Num Assign NameStore BinOpAdd NameLoad AttributeLoad NameLoad attr Assign NameStore Call NameLoad NameLoad keyword NameLoad keyword NameLoad orelse Assign NameStore Call NameLoad NameLoad keyword Num keyword Num Expr Call AttributeLoad NameLoad attr Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Expr Str Return Call AttributeLoad AttributeLoad AttributeLoad NameLoad attr attr attr Str decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults NameLoad NameLoad body Expr Str Expr Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr AttributeLoad NameLoad attr NameLoad NameLoad If BoolOpAnd AttributeLoad NameLoad attr UnaryOpNot Call NameLoad body Expr Call AttributeLoad AttributeLoad NameLoad attr attr orelse Return Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam defaults body Expr Str Return Call AttributeLoad NameLoad attr NameLoad AttributeLoad NameLoad attr NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam defaults body Expr Str If Call NameLoad NameLoad NameLoad body Expr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad NameLoad keyword Str keyword AttributeLoad AttributeLoad NameLoad attr attr keyword NameLoad orelse If Call NameLoad NameLoad NameLoad body Assign TupleStore NameStore NameStore NameLoad Expr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad NameLoad NameLoad NameLoad Assign NameStore BinOpAdd BinOpAdd NameLoad Call AttributeLoad NameLoad attr BinOpMult AttributeLoad NameLoad attr Num Expr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad NameLoad NameLoad NameLoad Return Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam defaults body Expr Str If Call NameLoad NameLoad NameLoad body Return TupleLoad BinOpAdd NameLoad Call AttributeLoad AttributeLoad AttributeLoad NameLoad attr attr attr NameLoad BinOpAdd NameLoad Call AttributeLoad NameLoad attr orelse If Call NameLoad NameLoad NameLoad body Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam defaults Num Num body Expr Str If CompareEq NameLoad AttributeLoad NameLoad attr body TryExcept body Assign NameStore BinOpAdd AttributeLoad NameLoad attr NameLoad Assign NameStore BinOpAdd AttributeLoad NameLoad attr NameLoad Return TupleLoad NameLoad NameLoad handlers ExceptHandler type NameLoad body Pass If Call NameLoad NameLoad NameLoad body Assign NameStore AttributeLoad NameLoad attr orelse If Call NameLoad NameLoad NameLoad body Assign NameStore AttributeLoad NameLoad attr orelse If Call NameLoad NameLoad NameLoad body Assign NameStore AttributeLoad NameLoad attr orelse If Call NameLoad NameLoad NameLoad body Assign NameStore AttributeLoad NameLoad attr orelse If Call NameLoad NameLoad NameLoad body Assign NameStore AttributeLoad NameLoad attr orelse If Call NameLoad NameLoad NameLoad body Assign NameStore AttributeLoad NameLoad attr orelse If Call NameLoad NameLoad NameLoad body Assign NameStore AttributeLoad NameLoad attr orelse If Call NameLoad NameLoad NameLoad body Assign NameStore AttributeLoad NameLoad attr orelse Raise Call NameLoad AttributeLoad AttributeLoad NameLoad attr attr Assign TupleStore NameStore NameStore Call NameLoad NameLoad NameLoad NameLoad NameLoad Assign AttributeStore NameLoad attr BinOpSub NameLoad NameLoad Assign AttributeStore NameLoad attr BinOpSub NameLoad NameLoad Return TupleLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam defaults body Return Call NameLoad BinOpMod Str NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam defaults body Assign NameStore SubscriptLoad Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr NameLoad NameLoad Index Num Assign TupleStore NameStore NameStore Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Expr Call NameLoad AttributeLoad NameLoad attr NameLoad Call AttributeLoad NameLoad attr NameLoad BinOpSub NameLoad NameLoad Call AttributeLoad NameLoad attr Return TupleLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam defaults body Assign NameStore BinOpAdd NameLoad AttributeLoad NameLoad attr Assign NameStore BinOpAdd NameLoad AttributeLoad NameLoad attr If AttributeLoad NameLoad attr body Assign NameStore Call AttributeLoad Str attr GeneratorExp BinOpMod Str NameLoad comprehension NameStore AttributeLoad NameLoad attr orelse Assign NameStore Str Assign TupleStore NameStore NameStore Call NameLoad NameLoad NameLoad NameLoad AugAssignAdd NameStore BinOpMult AttributeLoad NameLoad attr Num If AttributeLoad NameLoad attr body For NameStore AttributeLoad NameLoad attr body Assign TupleStore NameStore NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad NameLoad Assign NameStore Call NameLoad NameLoad NameLoad AugAssignAdd NameStore AttributeLoad NameLoad attr orelse AugAssignAdd NameStore BinOpAdd Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr AugAssignAdd NameStore AttributeLoad NameLoad attr Return Call NameLoad TupleLoad NameLoad NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam defaults body Assign TupleStore NameStore NameStore Call AttributeLoad NameLoad attr If UnaryOpNot Call NameLoad NameLoad NameLoad body Assign NameStore AttributeLoad NameLoad attr Assign NameStore ListLoad AttributeLoad NameLoad attr Assign NameStore SubscriptLoad Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Index Num Assign NameStore Call NameLoad BinOpAdd ListLoad NameLoad ListComp SubscriptLoad Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Index Num comprehension NameStore NameLoad Assign NameStore BinOpSub NameLoad NameLoad Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad AttributeLoad NameLoad attr Assign NameStore SubscriptLoad Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad NameLoad Index Num Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad Call AttributeLoad NameLoad attr Assign NameStore SubscriptLoad Call NameLoad AttributeLoad NameLoad attr NameLoad NameLoad Index Num For TupleStore NameStore NameStore Call NameLoad NameLoad body Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad AttributeLoad NameLoad attr Assign NameStore SubscriptLoad Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad NameLoad Index Num If CompareLt BinOpAdd NameLoad Num Call NameLoad NameLoad body Assign NameStore SubscriptLoad Call NameLoad BinOpAdd AttributeLoad NameLoad attr Str NameLoad NameLoad Index Num Assign NameStore SubscriptLoad Call NameLoad AttributeLoad NameLoad attr NameLoad NameLoad Index Num Return TupleLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam defaults body Assign NameStore BinOpAdd BinOpAdd AttributeLoad NameLoad attr BinOpMod Str AttributeLoad NameLoad attr AttributeLoad NameLoad attr Assign NameStore SubscriptLoad Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Index Num Assign TupleStore NameStore NameStore Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Expr Call NameLoad NameLoad NameLoad Call AttributeLoad NameLoad attr NameLoad BinOpSub NameLoad NameLoad Call AttributeLoad NameLoad attr Return TupleLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam defaults body Assign NameStore SubscriptLoad Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Num Num Index Num Assign NameStore SubscriptLoad Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr Num Num Index Num Assign NameStore Call NameLoad NameLoad NameLoad Assign NameStore Call AttributeLoad NameLoad attr NameLoad NameLoad Call AttributeLoad NameLoad attr Assign NameStore SubscriptLoad Call NameLoad AttributeLoad NameLoad attr NameLoad NameLoad Index Num Assign NameStore AttributeLoad AttributeLoad NameLoad attr attr Assign TupleStore NameStore NameStore Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr NameLoad NameLoad Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Assign NameStore SubscriptLoad Call NameLoad BinOpMod Str Call AttributeLoad NameLoad attr NameLoad NameLoad Index Num Assign NameStore AttributeLoad AttributeLoad NameLoad attr attr Assign TupleStore NameStore NameStore Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr NameLoad NameLoad Call AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Assign NameStore SubscriptLoad Call NameLoad AttributeLoad NameLoad attr NameLoad NameLoad Index Num Return TupleLoad NameLoad Call NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam defaults body Assign NameStore SubscriptLoad Call NameLoad AttributeLoad NameLoad attr NameLoad NameLoad Index Num Assign TupleStore NameStore NameStore Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr NameLoad NameLoad NameLoad Return TupleLoad NameLoad NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam NameParam defaults body Expr Str Return BinOpAdd NameLoad BinOpDiv BinOpSub NameLoad NameLoad Num decorator_list decorator_list FunctionDef arguments args defaults body Expr Call NameLoad BinOpAdd BinOpAdd BinOpMult Str Num Str BinOpMult Str Num Assign NameStore AttributeLoad NameLoad attr Expr Call NameLoad Call NameLoad Str Expr Call NameLoad Call NameLoad Str Expr Call NameLoad Call NameLoad Str Expr Call NameLoad Call NameLoad Str Expr Call NameLoad Call NameLoad Str Expr Call NameLoad Call NameLoad Str Expr Call NameLoad Call NameLoad Str Expr Call NameLoad Call NameLoad Str Expr Call NameLoad Call NameLoad Str Expr Call NameLoad BinOpAdd BinOpAdd BinOpMult Str Num Str BinOpMult Str Num Expr Call NameLoad Call AttributeLoad Call NameLoad Str attr Expr Call NameLoad BinOpAdd BinOpAdd BinOpMult Str Num Str BinOpMult Str Num Assign NameStore Call NameLoad Str Expr Call NameLoad NameLoad Assign NameStore Call AttributeLoad NameLoad attr Call NameLoad Str Expr Call NameLoad NameLoad Expr Call NameLoad CompareEq NameLoad NameLoad Expr Call NameLoad BinOpAdd BinOpAdd BinOpMult Str Num Str BinOpMult Str Num Expr Call NameLoad Call NameLoad Call NameLoad Str Expr Call NameLoad Call NameLoad Call NameLoad Str Expr Call NameLoad Call NameLoad Call NameLoad Str Expr Call NameLoad BinOpAdd BinOpAdd BinOpMult Str Num Str BinOpMult Str Num Expr Call AttributeLoad Call NameLoad Str attr Expr Call AttributeLoad Call NameLoad Str attr Expr Call AttributeLoad Call NameLoad Str attr Expr Call AttributeLoad Call NameLoad Str attr Expr Call AttributeLoad Call NameLoad Str attr decorator_list FunctionDef arguments args defaults body TryExcept body ImportFrom alias handlers ExceptHandler type NameLoad body ImportFrom alias Raise Call NameLoad Str Assign NameStore ListLoad Str Str Str Str Str Str Str Str Str Str Str For NameStore NameLoad body Assign NameStore Call AttributeLoad NameLoad attr NameLoad Expr Call AttributeLoad NameLoad attr decorator_list If CompareEq NameLoad Str body Expr Call NameLoad
N/A __future__ print_function unicode_literals N/A operator functools reduce nltk.compat string_types python_2_unicode_compatible nltk.sem.logic APP AbstractVariableExpression AllExpression AndExpression ApplicationExpression BinaryExpression BooleanExpression ConstantExpression EqualityExpression EventVariableExpression ExistsExpression Expression FunctionVariableExpression ImpExpression IndividualVariableExpression LambdaExpression Tokens LogicParser NegatedExpression OrExpression Variable is_eventvar is_funcvar is_indvar unique_variable N/A N/A tkinter Canvas tkinter Tk tkinter.font Font nltk.util in_idle N/A N/A N/A ImportError N/A N/A DrtTokens N/A Tokens N/A N/A DRS DRS N/A DRS_CONC + N/A PRONOUN PRO N/A OPEN_BRACKET [ N/A CLOSE_BRACKET ] N/A COLON : N/A PUNCT N/A DRS_CONC OPEN_BRACKET CLOSE_BRACKET COLON N/A SYMBOLS N/A N/A Tokens SYMBOLS PUNCT N/A TOKENS N/A N/A N/A Tokens TOKENS N/A DRS PUNCT N/A DrtParser N/A LogicParser N/A N/A A lambda calculus expression parser. __init__ N/A N/A self N/A N/A N/A N/A N/A LogicParser __init__ self N/A N/A self operator_precedence N/A dict N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A x 1 N/A x N/A DrtTokens LAMBDA_LIST N/A N/A x 2 N/A x N/A DrtTokens NOT_LIST N/A N/A APP 3 N/A N/A x 4 N/A x N/A N/A DrtTokens EQ_LIST N/A Tokens NEQ_LIST N/A N/A N/A DrtTokens COLON 5 N/A N/A N/A DrtTokens DRS_CONC 6 N/A N/A x 7 N/A x N/A DrtTokens OR_LIST N/A N/A x 8 N/A x N/A DrtTokens IMP_LIST N/A N/A None 9 N/A get_all_symbols N/A N/A self N/A N/A N/A This method exists to be overridden N/A N/A DrtTokens SYMBOLS N/A isvariable N/A N/A self tok N/A N/A N/A N/A tok N/A DrtTokens TOKENS N/A handle N/A N/A self tok context N/A N/A N/A This method is intended to be overridden for logics that
        use different operators or expressions N/A N/A tok N/A DrtTokens NOT_LIST N/A N/A N/A N/A self handle_negation tok context N/A N/A N/A tok N/A DrtTokens LAMBDA_LIST N/A N/A N/A N/A self handle_lambda tok context N/A N/A N/A tok N/A DrtTokens OPEN N/A N/A N/A N/A N/A self inRange 0 N/A N/A N/A self token 0 N/A DrtTokens OPEN_BRACKET N/A N/A N/A N/A self handle_DRS tok context N/A N/A N/A N/A self handle_open tok context N/A N/A N/A N/A N/A tok upper N/A DrtTokens DRS N/A N/A N/A N/A self assertNextToken N/A DrtTokens OPEN N/A N/A N/A self handle_DRS tok context N/A N/A N/A N/A self isvariable tok N/A N/A N/A N/A N/A self inRange 0 N/A N/A N/A self token 0 N/A DrtTokens COLON N/A N/A N/A N/A self handle_prop tok context N/A N/A N/A N/A self handle_variable tok context N/A make_NegatedExpression N/A N/A self expression N/A N/A N/A N/A DrtNegatedExpression expression N/A handle_DRS N/A N/A self tok context N/A N/A N/A refs N/A N/A self handle_refs N/A N/A N/A N/A self inRange 0 N/A N/A N/A self token 0 N/A DrtTokens COMMA N/A N/A N/A N/A self token N/A conds N/A N/A self handle_conds context N/A N/A N/A self assertNextToken N/A DrtTokens CLOSE N/A N/A DRS refs conds None N/A handle_refs N/A N/A self N/A N/A N/A N/A N/A self assertNextToken N/A DrtTokens OPEN_BRACKET N/A refs N/A N/A N/A N/A N/A self inRange 0 N/A N/A N/A self token 0 N/A DrtTokens CLOSE_BRACKET N/A N/A N/A refs N/A N/A N/A self token 0 N/A DrtTokens COMMA N/A N/A N/A N/A self token N/A N/A N/A refs append N/A N/A self get_next_token_variable quantified N/A N/A N/A self assertNextToken N/A DrtTokens CLOSE_BRACKET N/A refs N/A handle_conds N/A N/A self context N/A N/A N/A N/A N/A self assertNextToken N/A DrtTokens OPEN_BRACKET N/A conds N/A N/A N/A N/A N/A self inRange 0 N/A N/A N/A self token 0 N/A DrtTokens CLOSE_BRACKET N/A N/A N/A conds N/A N/A N/A self token 0 N/A DrtTokens COMMA N/A N/A N/A N/A self token N/A N/A N/A conds append N/A N/A self process_next_expression context N/A N/A N/A self assertNextToken N/A DrtTokens CLOSE_BRACKET N/A conds N/A handle_prop N/A N/A self tok context N/A N/A N/A variable N/A N/A self make_VariableExpression tok N/A N/A N/A self assertNextToken : N/A drs N/A N/A self process_next_expression N/A DrtTokens COLON N/A N/A DrtProposition variable drs N/A make_EqualityExpression N/A N/A self first second N/A N/A N/A This method serves as a hook for other logic parsers that
        have different equality expression classes N/A N/A DrtEqualityExpression first second N/A get_BooleanExpression_factory N/A N/A self tok N/A N/A N/A This method serves as a hook for other logic parsers that
        have different boolean operators N/A N/A tok N/A DrtTokens DRS_CONC N/A N/A N/A N/A N/A first second N/A N/A DrtConcatenation first second None N/A N/A N/A tok N/A DrtTokens OR_LIST N/A N/A DrtOrExpression N/A N/A N/A tok N/A DrtTokens IMP_LIST N/A make_imp_expression N/A N/A first second N/A N/A N/A N/A isinstance first DRS N/A N/A N/A DRS N/A first refs N/A first conds second N/A N/A isinstance first DrtConcatenation N/A N/A N/A DrtConcatenation N/A first first N/A first second second N/A N/A Exception Antecedent of implication must be a DRS N/A N/A make_imp_expression N/A N/A None N/A make_BooleanExpression N/A N/A self factory first second N/A N/A N/A N/A factory first second N/A make_ApplicationExpression N/A N/A self function argument N/A N/A N/A N/A DrtApplicationExpression function argument N/A make_VariableExpression N/A N/A self name N/A N/A N/A N/A DrtVariableExpression N/A Variable name N/A make_LambdaExpression N/A N/A self variables term N/A N/A N/A N/A DrtLambdaExpression variables term N/A N/A DrtExpression N/A object N/A N/A 
    This is the base abstract DRT Expression from which every DRT
    Expression extends.
     N/A _drt_parser N/A DrtParser fromstring N/A N/A cls s N/A N/A N/A N/A N/A N/A cls _drt_parser parse s N/A classmethod applyto N/A N/A self other N/A N/A N/A N/A DrtApplicationExpression self other N/A __neg__ N/A N/A self N/A N/A N/A N/A DrtNegatedExpression self N/A __and__ N/A N/A self other N/A N/A N/A N/A NotImplementedError N/A __or__ N/A N/A self other N/A N/A N/A N/A isinstance other DrtExpression N/A N/A DrtOrExpression self other N/A __gt__ N/A N/A self other N/A N/A N/A N/A isinstance other DrtExpression N/A N/A isinstance self DRS N/A N/A N/A DRS N/A self refs N/A self conds other N/A N/A isinstance self DrtConcatenation N/A N/A N/A DrtConcatenation N/A self first N/A self second other N/A N/A Exception Antecedent of implication must be a DRS N/A equiv N/A N/A self other prover N/A None N/A N/A 
        Check for logical equivalence.
        Pass the expression (self <-> other) to the theorem prover.
        If the prover says it is valid, then the self and other are equal.

        :param other: an ``DrtExpression`` to check equality against
        :param prover: a ``nltk.inference.api.Prover``
         N/A N/A isinstance other DrtExpression N/A f1 N/A N/A N/A N/A self simplify fol N/A f2 N/A N/A N/A N/A other simplify fol N/A N/A N/A f1 equiv f2 prover N/A type N/A N/A self N/A N/A N/A N/A AttributeError N/A '%s' object has no attribute 'type' N/A N/A self __class__ __name__ N/A property typecheck N/A N/A self signature N/A None N/A N/A N/A NotImplementedError N/A __add__ N/A N/A self other N/A N/A N/A N/A DrtConcatenation self other None N/A get_refs N/A N/A self recursive N/A False N/A N/A 
        Return the set of discourse referents in this DRS.
        :param recursive: bool Also find discourse referents in subterms?
        :return: list of ``Variable`` objects
         N/A N/A NotImplementedError N/A is_pronoun_function N/A N/A self N/A N/A N/A  Is self of the form "PRO(x)"?  N/A N/A N/A isinstance self DrtApplicationExpression N/A isinstance N/A self function DrtAbstractVariableExpression N/A N/A N/A N/A self function variable name N/A DrtTokens PRONOUN N/A isinstance N/A self argument DrtIndividualVariableExpression N/A make_EqualityExpression N/A N/A self first second N/A N/A N/A N/A DrtEqualityExpression first second N/A make_VariableExpression N/A N/A self variable N/A N/A N/A N/A DrtVariableExpression variable N/A resolve_anaphora N/A N/A self N/A N/A N/A N/A resolve_anaphora self N/A eliminate_equality N/A N/A self N/A N/A N/A N/A N/A self visit_structured N/A N/A N/A e N/A N/A N/A e eliminate_equality N/A self __class__ N/A pretty_format N/A N/A self N/A N/A N/A 
        Draw the DRS
        :return: the pretty print string
         N/A N/A N/A join N/A N/A self _pretty N/A pretty_print N/A N/A self N/A N/A N/A N/A print N/A N/A self pretty_format N/A draw N/A N/A self N/A N/A N/A N/A N/A N/A DrsDrawer self draw N/A N/A DRS N/A DrtExpression Expression N/A N/A A Discourse Representation Structure. __init__ N/A N/A self refs conds consequent N/A None N/A N/A 
        :param refs: list of ``DrtIndividualVariableExpression`` for the
        discourse referents
        :param conds: list of ``Expression`` for the conditions
         N/A N/A self refs refs N/A N/A self conds conds N/A N/A self consequent consequent N/A replace N/A N/A self variable expression replace_bound alpha_convert N/A False True N/A N/A Replace all instances of variable v with expression E in self,
        where v is free in self. N/A N/A variable N/A self refs N/A N/A N/A replace_bound N/A N/A self N/A N/A i N/A N/A N/A self refs index variable N/A N/A self consequent N/A N/A consequent N/A N/A N/A self consequent replace variable expression True alpha_convert N/A N/A consequent None N/A N/A DRS N/A N/A N/A N/A self refs N/A i N/A N/A expression variable N/A N/A self refs N/A N/A i 1 N/A N/A N/A cond replace variable expression True alpha_convert N/A cond N/A self conds consequent N/A N/A alpha_convert N/A N/A ref N/A N/A set N/A self refs N/A N/A expression free N/A N/A newvar N/A unique_variable ref N/A newvarex N/A DrtVariableExpression newvar N/A i N/A N/A N/A self refs index ref N/A N/A self consequent N/A N/A consequent N/A N/A N/A self consequent replace ref newvarex True alpha_convert N/A N/A consequent None N/A self N/A DRS N/A N/A N/A N/A self refs N/A i N/A newvar N/A N/A self refs N/A N/A i 1 N/A N/A N/A cond replace ref newvarex True alpha_convert N/A cond N/A self conds consequent N/A N/A self consequent N/A N/A consequent N/A N/A N/A self consequent replace variable expression replace_bound alpha_convert N/A N/A consequent None N/A N/A DRS N/A self refs N/A N/A N/A cond replace variable expression replace_bound alpha_convert N/A cond N/A self conds consequent N/A free N/A N/A self N/A N/A N/A :see: Expression.free() N/A conds_free N/A reduce N/A operator or_ N/A N/A N/A c free N/A c N/A self conds N/A set N/A N/A self consequent N/A N/A N/A N/A conds_free update N/A N/A N/A self consequent free N/A N/A conds_free N/A set N/A self refs N/A get_refs N/A N/A self recursive N/A False N/A N/A :see: AbstractExpression.get_refs() N/A recursive N/A N/A conds_refs N/A N/A self refs N/A sum N/A N/A N/A c get_refs True N/A c N/A self conds N/A N/A N/A self consequent N/A N/A N/A N/A conds_refs extend N/A N/A N/A self consequent get_refs True N/A conds_refs N/A N/A N/A self refs N/A visit N/A N/A self function combinator N/A N/A N/A :see: Expression.visit() N/A parts N/A list N/A map function N/A self conds N/A N/A self consequent N/A N/A N/A N/A parts append N/A function N/A self consequent N/A N/A combinator parts N/A visit_structured N/A N/A self function combinator N/A N/A N/A :see: Expression.visit_structured() N/A consequent N/A N/A self consequent N/A function N/A self consequent None N/A N/A combinator N/A self refs N/A list N/A map function N/A self conds consequent N/A eliminate_equality N/A N/A self N/A N/A N/A drs self N/A i 0 N/A N/A i N/A len N/A drs conds N/A N/A cond N/A N/A drs conds N/A i N/A N/A N/A isinstance cond EqualityExpression N/A isinstance N/A cond first AbstractVariableExpression N/A isinstance N/A cond second AbstractVariableExpression N/A N/A drs N/A DRS N/A list N/A N/A set N/A drs refs N/A set N/A N/A N/A cond second variable N/A N/A N/A drs conds N/A i N/A N/A drs conds N/A N/A i 1 N/A drs consequent N/A N/A N/A N/A cond second variable N/A N/A cond first variable N/A N/A drs N/A N/A drs replace N/A N/A cond second variable N/A cond first False False N/A i 0 N/A i 1 N/A i 1 N/A conds N/A N/A cond N/A drs conds N/A N/A new_cond N/A N/A cond eliminate_equality N/A new_cond_simp N/A N/A new_cond simplify N/A N/A N/A N/A isinstance new_cond_simp DRS N/A new_cond_simp refs N/A new_cond_simp conds N/A new_cond_simp consequent N/A N/A N/A N/A conds append new_cond N/A consequent N/A N/A drs consequent N/A N/A N/A drs consequent eliminate_equality None N/A N/A DRS N/A drs refs conds consequent N/A fol N/A N/A self N/A N/A N/A N/A self consequent N/A N/A accum None N/A N/A self conds N/A N/A accum N/A reduce AndExpression N/A N/A N/A c fol N/A c N/A self conds N/A accum N/A N/A accum N/A ImpExpression accum N/A N/A N/A self consequent fol N/A N/A accum N/A N/A N/A self consequent fol N/A ref N/A N/A self refs N/A -1 N/A N/A accum N/A AllExpression ref accum N/A accum N/A N/A N/A N/A self conds N/A N/A N/A Exception Cannot convert DRS with no conditions to FOL. N/A accum N/A reduce AndExpression N/A N/A N/A c fol N/A c N/A self conds N/A ref N/A map Variable N/A N/A N/A self _order_ref_strings N/A self refs N/A -1 N/A N/A accum N/A ExistsExpression ref accum N/A accum N/A _pretty N/A N/A self N/A N/A N/A refs_line N/A N/A join N/A N/A self _order_ref_strings N/A self refs N/A cond_lines N/A cond N/A cond_line N/A N/A filter N/A N/A N/A s N/A N/A N/A s strip N/A N/A cond _pretty N/A cond N/A self conds N/A cond cond_line N/A length N/A max N/A N/A N/A len refs_line N/A list N/A map len cond_lines N/A drs N/A N/A N/A N/A N/A  _ N/A _ length _  N/A N/A |  N/A N/A refs_line ljust length  | N/A N/A |- N/A - length -| N/A N/A N/A |  N/A N/A line ljust length  | N/A line cond_lines N/A N/A N/A |_ N/A _ length _| N/A N/A self consequent N/A N/A N/A N/A DrtBinaryExpression _assemble_pretty drs N/A DrtTokens IMP N/A N/A N/A self consequent _pretty N/A drs N/A _order_ref_strings N/A N/A self refs N/A N/A N/A strings N/A N/A %s ref N/A ref refs N/A ind_vars N/A N/A func_vars N/A N/A event_vars N/A N/A other_vars N/A N/A s strings N/A N/A N/A is_indvar s N/A N/A N/A N/A ind_vars append s N/A N/A N/A is_funcvar s N/A N/A N/A N/A func_vars append s N/A N/A N/A is_eventvar s N/A N/A N/A N/A event_vars append s N/A N/A N/A N/A other_vars append s N/A N/A N/A N/A N/A sorted other_vars N/A sorted event_vars key N/A N/A N/A v N/A N/A int N/A N/A N/A v N/A 2 -1 N/A N/A N/A len N/A v N/A 2 0 N/A sorted func_vars key N/A N/A N/A v N/A N/A N/A v N/A 0 N/A int N/A N/A N/A v N/A 1 -1 N/A N/A N/A len N/A v N/A 1 0 N/A sorted ind_vars key N/A N/A N/A v N/A N/A N/A v N/A 0 N/A int N/A N/A N/A v N/A 1 -1 N/A N/A N/A len N/A v N/A 1 0 N/A __eq__ N/A N/A self other N/A N/A N/A Defines equality modulo alphabetic variance.
        If we are comparing \x.M  and \y.N, then check equality of M and N[x/y]. N/A N/A isinstance other DRS N/A N/A N/A N/A len N/A self refs N/A len N/A other refs N/A N/A converted_other other N/A N/A r1 r2 N/A zip N/A self refs N/A converted_other refs N/A N/A varex N/A N/A self make_VariableExpression r1 N/A converted_other N/A N/A converted_other replace r2 varex True N/A N/A N/A N/A self consequent N/A converted_other consequent N/A N/A len N/A self conds N/A len N/A converted_other conds N/A N/A N/A c1 c2 N/A zip N/A self conds N/A converted_other conds N/A N/A N/A N/A c1 c2 N/A N/A False N/A True N/A False N/A __ne__ N/A N/A self other N/A N/A N/A N/A N/A self other N/A N/A __hash__ N/A Expression __hash__ __str__ N/A N/A self N/A N/A N/A drs N/A ([%s],[%s]) N/A N/A N/A , join N/A N/A self _order_ref_strings N/A self refs N/A N/A ,  join N/A N/A %s cond N/A cond N/A self conds N/A N/A self consequent N/A N/A N/A N/A N/A N/A N/A N/A N/A DrtTokens OPEN drs N/A DrtTokens IMP N/A %s N/A self consequent N/A DrtTokens CLOSE N/A drs N/A N/A python_2_unicode_compatible DrtVariableExpression N/A N/A variable N/A N/A N/A 
    This is a factory method that instantiates and returns a subtype of
    ``DrtAbstractVariableExpression`` appropriate for the given variable.
     N/A N/A is_indvar N/A variable name N/A N/A N/A DrtIndividualVariableExpression variable N/A N/A N/A is_funcvar N/A variable name N/A N/A N/A DrtFunctionVariableExpression variable N/A N/A N/A is_eventvar N/A variable name N/A N/A N/A DrtEventVariableExpression variable N/A N/A N/A DrtConstantExpression variable N/A DrtAbstractVariableExpression N/A DrtExpression AbstractVariableExpression N/A fol N/A N/A self N/A N/A N/A self N/A get_refs N/A N/A self recursive N/A False N/A N/A :see: AbstractExpression.get_refs() N/A N/A N/A _pretty N/A N/A self N/A N/A N/A s N/A %s self N/A blank N/A N/A len s N/A N/A blank blank s blank N/A eliminate_equality N/A N/A self N/A N/A N/A self N/A N/A DrtIndividualVariableExpression N/A DrtAbstractVariableExpression IndividualVariableExpression N/A N/A N/A DrtFunctionVariableExpression N/A DrtAbstractVariableExpression FunctionVariableExpression N/A N/A N/A DrtEventVariableExpression N/A DrtIndividualVariableExpression EventVariableExpression N/A N/A N/A DrtConstantExpression N/A DrtAbstractVariableExpression ConstantExpression N/A N/A N/A DrtProposition N/A DrtExpression Expression N/A __init__ N/A N/A self variable drs N/A N/A N/A N/A self variable variable N/A N/A self drs drs N/A replace N/A N/A self variable expression replace_bound alpha_convert N/A False True N/A N/A N/A N/A self variable variable N/A N/A N/A isinstance expression DrtAbstractVariableExpression Can only replace a proposition label with a variable N/A N/A DrtProposition N/A expression variable N/A N/A N/A self drs replace variable expression replace_bound alpha_convert N/A N/A N/A DrtProposition N/A self variable N/A N/A N/A self drs replace variable expression replace_bound alpha_convert N/A eliminate_equality N/A N/A self N/A N/A N/A N/A DrtProposition N/A self variable N/A N/A N/A self drs eliminate_equality N/A get_refs N/A N/A self recursive N/A False N/A N/A N/A recursive N/A N/A N/A self drs get_refs True N/A N/A __eq__ N/A N/A self other N/A N/A N/A N/A N/A N/A self __class__ N/A other __class__ N/A N/A self variable N/A other variable N/A N/A self drs N/A other drs N/A __ne__ N/A N/A self other N/A N/A N/A N/A N/A self other N/A N/A __hash__ N/A Expression __hash__ fol N/A N/A self N/A N/A N/A N/A N/A N/A self drs fol N/A _pretty N/A N/A self N/A N/A N/A drs_s N/A N/A N/A self drs _pretty N/A blank N/A N/A len N/A %s N/A self variable N/A N/A N/A N/A N/A N/A blank line N/A line N/A drs_s N/A 1 N/A N/A N/A N/A %s N/A self variable : line N/A line N/A drs_s N/A 1 2 N/A N/A N/A blank line N/A line N/A drs_s N/A 2 N/A visit N/A N/A self function combinator N/A N/A N/A :see: Expression.visit() N/A N/A combinator N/A N/A function N/A self drs N/A visit_structured N/A N/A self function combinator N/A N/A N/A :see: Expression.visit_structured() N/A N/A combinator N/A self variable N/A function N/A self drs N/A __str__ N/A N/A self N/A N/A N/A N/A prop(%s, %s) N/A N/A self variable N/A self drs N/A N/A python_2_unicode_compatible DrtNegatedExpression N/A DrtExpression NegatedExpression N/A fol N/A N/A self N/A N/A N/A N/A NegatedExpression N/A N/A N/A self term fol N/A get_refs N/A N/A self recursive N/A False N/A N/A :see: AbstractExpression.get_refs() N/A N/A N/A N/A self term get_refs recursive N/A _pretty N/A N/A self N/A N/A N/A term_lines N/A N/A N/A self term _pretty N/A N/A N/A N/A N/A N/A line N/A line N/A term_lines N/A 2 N/A N/A __   line N/A line N/A term_lines N/A 2 3 N/A N/A   |  line N/A line N/A term_lines N/A 3 4 N/A N/A line N/A line N/A term_lines N/A 4 N/A N/A DrtLambdaExpression N/A DrtExpression LambdaExpression N/A alpha_convert N/A N/A self newvar N/A N/A N/A Rename all occurrences of the variable introduced by this variable
        binder in the expression to ``newvar``.
        :param newvar: ``Variable``, for the new variable
         N/A N/A N/A self __class__ newvar N/A N/A N/A self term replace N/A self variable N/A DrtVariableExpression newvar True N/A fol N/A N/A self N/A N/A N/A N/A LambdaExpression N/A self variable N/A N/A N/A self term fol N/A _pretty N/A N/A self N/A N/A N/A variables N/A N/A self variable N/A term N/A self term N/A N/A N/A term __class__ N/A self __class__ N/A N/A N/A N/A variables append N/A term variable N/A term N/A term term N/A var_string N/A N/A N/A join N/A N/A %s v N/A v variables N/A DrtTokens DOT N/A term_lines N/A N/A term _pretty N/A blank N/A N/A len var_string N/A N/A N/A N/A N/A N/A N/A blank line N/A line N/A term_lines N/A 1 N/A N/A N/A  \   blank line N/A line N/A term_lines N/A 1 2 N/A N/A N/A  /\  var_string line N/A line N/A term_lines N/A 2 3 N/A N/A N/A blank line N/A line N/A term_lines N/A 3 N/A N/A DrtBinaryExpression N/A DrtExpression BinaryExpression N/A get_refs N/A N/A self recursive N/A False N/A N/A :see: AbstractExpression.get_refs() N/A N/A recursive N/A N/A N/A N/A self first get_refs True N/A N/A N/A self second get_refs True N/A N/A _pretty N/A N/A self N/A N/A N/A N/A N/A DrtBinaryExpression _assemble_pretty N/A N/A self _pretty_subex N/A self first N/A N/A self getOp N/A N/A self _pretty_subex N/A self second N/A _assemble_pretty N/A N/A first_lines op second_lines N/A N/A N/A max_lines N/A max N/A len first_lines N/A len second_lines N/A first_lines N/A _pad_vertically first_lines max_lines N/A second_lines N/A _pad_vertically second_lines max_lines N/A blank N/A N/A len op N/A first_second_lines N/A list N/A zip first_lines second_lines N/A N/A N/A N/A N/A N/A N/A N/A N/A N/A first_line blank second_line N/A N/A first_line second_line N/A first_second_lines N/A 2 N/A N/A N/A N/A N/A N/A N/A ( first_line op second_line ) N/A N/A first_line second_line N/A first_second_lines N/A 2 3 N/A N/A N/A N/A N/A N/A N/A first_line blank second_line N/A N/A first_line second_line N/A first_second_lines N/A 3 N/A staticmethod _pretty_subex N/A N/A self subex N/A N/A N/A N/A N/A subex _pretty N/A N/A DrtBooleanExpression N/A DrtBinaryExpression BooleanExpression N/A N/A N/A DrtOrExpression N/A DrtBooleanExpression OrExpression N/A fol N/A N/A self N/A N/A N/A N/A OrExpression N/A N/A N/A self first fol N/A N/A N/A self second fol N/A _pretty_subex N/A N/A self subex N/A N/A N/A N/A isinstance subex DrtOrExpression N/A N/A N/A N/A line N/A 1 -1 N/A line N/A N/A subex _pretty N/A N/A N/A DrtBooleanExpression _pretty_subex self subex N/A N/A DrtEqualityExpression N/A DrtBinaryExpression EqualityExpression N/A fol N/A N/A self N/A N/A N/A N/A EqualityExpression N/A N/A N/A self first fol N/A N/A N/A self second fol N/A N/A DrtConcatenation N/A DrtBooleanExpression N/A N/A DRS of the form '(DRS + DRS)' __init__ N/A N/A self first second consequent N/A None N/A N/A N/A N/A DrtBooleanExpression __init__ self first second N/A N/A self consequent consequent N/A replace N/A N/A self variable expression replace_bound alpha_convert N/A False True N/A N/A Replace all instances of variable v with expression E in self,
        where v is free in self. N/A first N/A self first N/A second N/A self second N/A consequent N/A self consequent N/A N/A variable N/A N/A self get_refs N/A N/A replace_bound N/A N/A first N/A N/A first replace variable expression replace_bound alpha_convert N/A second N/A N/A second replace variable expression replace_bound alpha_convert N/A consequent N/A N/A consequent N/A N/A consequent replace variable expression replace_bound alpha_convert N/A N/A alpha_convert N/A N/A ref N/A N/A set N/A N/A self get_refs True N/A N/A expression free N/A N/A v N/A DrtVariableExpression N/A unique_variable ref N/A first N/A N/A first replace ref v True alpha_convert N/A second N/A N/A second replace ref v True alpha_convert N/A consequent N/A N/A consequent N/A N/A consequent replace ref v True alpha_convert N/A first N/A N/A first replace variable expression replace_bound alpha_convert N/A second N/A N/A second replace variable expression replace_bound alpha_convert N/A consequent N/A N/A consequent N/A N/A consequent replace variable expression replace_bound alpha_convert N/A N/A N/A self __class__ first second consequent N/A eliminate_equality N/A N/A self N/A N/A N/A drs N/A N/A self simplify N/A N/A N/A isinstance drs DrtConcatenation N/A N/A N/A drs eliminate_equality N/A simplify N/A N/A self N/A N/A N/A first N/A N/A N/A self first simplify N/A second N/A N/A N/A self second simplify N/A consequent N/A N/A self consequent N/A N/A N/A self consequent simplify None N/A N/A N/A isinstance first DRS N/A isinstance second DRS N/A N/A ref N/A N/A set N/A N/A first get_refs True N/A set N/A N/A second get_refs True N/A N/A newvar N/A DrtVariableExpression N/A unique_variable ref N/A second N/A N/A second replace ref newvar True N/A N/A DRS N/A N/A first refs N/A second refs N/A N/A first conds N/A second conds consequent N/A N/A N/A N/A self __class__ first second consequent N/A get_refs N/A N/A self recursive N/A False N/A N/A :see: AbstractExpression.get_refs() N/A refs N/A N/A N/A N/A self first get_refs recursive N/A N/A N/A self second get_refs recursive N/A N/A N/A self consequent recursive N/A N/A N/A N/A refs extend N/A N/A N/A self consequent get_refs True N/A refs N/A getOp N/A N/A self N/A N/A N/A N/A DrtTokens DRS_CONC N/A __eq__ N/A N/A self other N/A N/A N/A Defines equality modulo alphabetic variance.
        If we are comparing \x.M  and \y.N, then check equality of M and N[x/y]. N/A N/A isinstance other DrtConcatenation N/A N/A self_refs N/A N/A self get_refs N/A other_refs N/A N/A other get_refs N/A N/A N/A len self_refs N/A len other_refs N/A N/A converted_other other N/A N/A r1 r2 N/A zip self_refs other_refs N/A N/A varex N/A N/A self make_VariableExpression r1 N/A converted_other N/A N/A converted_other replace r2 varex True N/A N/A N/A N/A self first N/A converted_other first N/A N/A self second N/A converted_other second N/A N/A self consequent N/A converted_other consequent N/A False N/A __ne__ N/A N/A self other N/A N/A N/A N/A N/A self other N/A N/A __hash__ N/A DrtBooleanExpression __hash__ fol N/A N/A self N/A N/A N/A e N/A AndExpression N/A N/A N/A self first fol N/A N/A N/A self second fol N/A N/A self consequent N/A N/A e N/A ImpExpression e N/A N/A N/A self consequent fol N/A e N/A _pretty N/A N/A self N/A N/A N/A drs N/A N/A DrtBinaryExpression _assemble_pretty N/A N/A self _pretty_subex N/A self first N/A N/A self getOp N/A N/A self _pretty_subex N/A self second N/A N/A self consequent N/A N/A drs N/A N/A DrtBinaryExpression _assemble_pretty drs N/A DrtTokens IMP N/A N/A self _pretty N/A self consequent N/A drs N/A _pretty_subex N/A N/A self subex N/A N/A N/A N/A isinstance subex DrtConcatenation N/A N/A N/A N/A line N/A 1 -1 N/A line N/A N/A subex _pretty N/A N/A N/A DrtBooleanExpression _pretty_subex self subex N/A visit N/A N/A self function combinator N/A N/A N/A :see: Expression.visit() N/A N/A self consequent N/A N/A N/A combinator N/A N/A function N/A self first N/A function N/A self second N/A function N/A self consequent N/A N/A N/A combinator N/A N/A function N/A self first N/A function N/A self second N/A __str__ N/A N/A self N/A N/A N/A first N/A N/A self _str_subex N/A self first N/A second N/A N/A self _str_subex N/A self second N/A drs N/A N/A N/A N/A N/A N/A N/A Tokens OPEN first N/A N/A self getOp second N/A Tokens CLOSE N/A N/A self consequent N/A N/A N/A N/A N/A N/A N/A N/A N/A DrtTokens OPEN drs N/A DrtTokens IMP N/A %s N/A self consequent N/A DrtTokens CLOSE N/A drs N/A _str_subex N/A N/A self subex N/A N/A N/A s N/A %s subex N/A N/A N/A isinstance subex DrtConcatenation N/A N/A subex consequent None N/A N/A N/A s N/A 1 -1 N/A s N/A N/A python_2_unicode_compatible DrtApplicationExpression N/A DrtExpression ApplicationExpression N/A fol N/A N/A self N/A N/A N/A N/A ApplicationExpression N/A N/A N/A self function fol N/A N/A N/A self argument fol N/A get_refs N/A N/A self recursive N/A False N/A N/A :see: AbstractExpression.get_refs() N/A N/A recursive N/A N/A N/A N/A self function get_refs True N/A N/A N/A self argument get_refs True N/A N/A _pretty N/A N/A self N/A N/A N/A N/A function args N/A N/A self uncurry N/A function_lines N/A N/A function _pretty N/A args_lines N/A N/A N/A arg _pretty N/A arg args N/A max_lines N/A max N/A map len N/A N/A function_lines args_lines N/A function_lines N/A _pad_vertically function_lines max_lines N/A args_lines N/A N/A _pad_vertically arg_lines max_lines N/A arg_lines args_lines N/A func_args_lines N/A list N/A zip function_lines N/A list N/A zip args_lines N/A N/A N/A N/A N/A N/A N/A func_line N/A N/A join args_line N/A N/A func_line args_line N/A func_args_lines N/A 2 N/A N/A N/A N/A func_line ( N/A N/A , join args_line ) N/A N/A func_line args_line N/A func_args_lines N/A 2 3 N/A N/A N/A N/A func_line N/A N/A join args_line N/A N/A func_line args_line N/A func_args_lines N/A 3 N/A N/A _pad_vertically N/A N/A lines max_lines N/A N/A N/A pad_line N/A N/A N/A len N/A lines N/A 0 N/A N/A lines N/A pad_line N/A max_lines N/A len lines N/A PossibleAntecedents N/A list DrtExpression Expression N/A free N/A N/A self N/A N/A N/A Set of free variables. N/A N/A set self N/A replace N/A N/A self variable expression replace_bound alpha_convert N/A False True N/A N/A Replace all instances of variable v with expression E in self,
        where v is free in self. N/A result N/A PossibleAntecedents N/A item self N/A N/A N/A item variable N/A N/A N/A N/A self append expression N/A N/A N/A N/A self append item N/A result N/A _pretty N/A N/A self N/A N/A N/A s N/A %s self N/A blank N/A N/A len s N/A N/A blank blank s N/A __str__ N/A N/A self N/A N/A N/A N/A N/A [ N/A N/A , join N/A N/A %s it N/A it self ] N/A N/A python_2_unicode_compatible AnaphoraResolutionException N/A Exception N/A N/A N/A resolve_anaphora N/A N/A expression trail N/A N/A N/A N/A N/A isinstance expression ApplicationExpression N/A N/A N/A N/A expression is_pronoun_function N/A N/A possible_antecedents N/A PossibleAntecedents N/A ancestor trail N/A N/A ref N/A N/A ancestor get_refs N/A N/A refex N/A N/A expression make_VariableExpression ref N/A N/A N/A N/A refex __class__ N/A N/A expression argument __class__ N/A N/A refex N/A expression argument N/A N/A N/A N/A possible_antecedents append refex N/A N/A N/A len possible_antecedents 1 N/A N/A resolution N/A possible_antecedents N/A 0 N/A N/A resolution possible_antecedents N/A N/A N/A expression make_EqualityExpression N/A expression argument resolution N/A N/A r_function N/A resolve_anaphora N/A expression function N/A trail N/A expression N/A r_argument N/A resolve_anaphora N/A expression argument N/A trail N/A expression N/A N/A N/A expression __class__ r_function r_argument N/A N/A N/A isinstance expression DRS N/A N/A r_conds N/A N/A cond N/A expression conds N/A N/A r_cond N/A resolve_anaphora cond N/A trail N/A expression N/A N/A isinstance r_cond EqualityExpression N/A N/A N/A isinstance N/A r_cond first PossibleAntecedents N/A N/A temp N/A r_cond first N/A N/A r_cond first N/A r_cond second N/A N/A r_cond second temp N/A N/A isinstance N/A r_cond second PossibleAntecedents N/A N/A N/A N/A r_cond second N/A N/A N/A AnaphoraResolutionException N/A Variable '%s' does not resolve to anything. N/A r_cond first N/A N/A N/A r_conds append r_cond N/A N/A expression consequent N/A N/A consequent N/A resolve_anaphora N/A expression consequent N/A trail N/A expression N/A N/A consequent None N/A N/A N/A expression __class__ N/A expression refs r_conds consequent N/A N/A N/A isinstance expression AbstractVariableExpression N/A N/A expression N/A N/A N/A isinstance expression NegatedExpression N/A N/A N/A N/A expression __class__ N/A resolve_anaphora N/A expression term N/A trail N/A expression N/A N/A N/A isinstance expression DrtConcatenation N/A N/A N/A expression consequent N/A N/A consequent N/A resolve_anaphora N/A expression consequent N/A trail N/A expression N/A N/A consequent None N/A N/A N/A expression __class__ N/A resolve_anaphora N/A expression first N/A trail N/A expression N/A resolve_anaphora N/A expression second N/A trail N/A expression consequent N/A N/A N/A isinstance expression BinaryExpression N/A N/A N/A N/A expression __class__ N/A resolve_anaphora N/A expression first N/A trail N/A expression N/A resolve_anaphora N/A expression second N/A trail N/A expression N/A N/A N/A isinstance expression LambdaExpression N/A N/A N/A N/A expression __class__ N/A expression variable N/A resolve_anaphora N/A expression term N/A trail N/A expression N/A DrsDrawer N/A object N/A N/A BUFFER 3 N/A TOPSPACE 10 N/A OUTERSPACE 6 __init__ N/A N/A self drs size_canvas canvas N/A True None N/A N/A 
        :param drs: ``DrtExpression``, The DRS to be drawn
        :param size_canvas: bool, True if the canvas size should be the exact size of the DRS
        :param canvas: ``Canvas`` The canvas on which to draw the DRS.  If none is given, create a new canvas.
         N/A master None N/A N/A canvas N/A N/A master N/A Tk N/A N/A N/A master title DRT N/A font N/A Font family helvetica size 12 N/A size_canvas N/A N/A canvas N/A Canvas master width 0 height 0 N/A N/A canvas font font N/A N/A self canvas canvas N/A N/A right bottom N/A N/A self _visit drs N/A self OUTERSPACE N/A self TOPSPACE N/A width N/A max N/A right N/A self OUTERSPACE 100 N/A height N/A bottom N/A self OUTERSPACE N/A canvas N/A Canvas master width width height height N/A N/A canvas N/A Canvas master width 300 height 300 N/A N/A N/A canvas pack N/A N/A canvas font font N/A N/A self canvas canvas N/A N/A self drs drs N/A N/A self master master N/A _get_text_height N/A N/A self N/A N/A N/A Get the height of a line of text N/A N/A N/A N/A N/A self canvas font metrics linespace N/A draw N/A N/A self x y N/A OUTERSPACE TOPSPACE N/A N/A Draw the DRS N/A N/A N/A self _handle N/A self drs N/A self _draw_command x y N/A N/A N/A self master N/A N/A in_idle N/A N/A N/A N/A N/A self master mainloop N/A N/A N/A N/A self _visit N/A self drs x y N/A _visit N/A N/A self expression x y N/A N/A N/A 
        Return the bottom-rightmost point without actually drawing the item

        :param expression: the item to visit
        :param x: the top of the current drawing area
        :param y: the left side of the current drawing area
        :return: the bottom-rightmost point
         N/A N/A N/A self _handle expression N/A self _visit_command x y N/A _draw_command N/A N/A self item x y N/A N/A N/A 
        Draw the given item at the given location

        :param item: the item to draw
        :param x: the top of the current drawing area
        :param y: the left side of the current drawing area
        :return: the bottom-rightmost point
         N/A N/A isinstance item string_types N/A N/A N/A N/A N/A self canvas create_text x y anchor nw font N/A N/A self canvas font text item N/A N/A N/A isinstance item tuple N/A N/A N/A right bottom item N/A N/A N/A N/A self canvas create_rectangle x y right bottom N/A horiz_line_y N/A N/A y N/A N/A self _get_text_height N/A N/A self BUFFER 2 N/A N/A N/A N/A self canvas create_line x horiz_line_y right horiz_line_y N/A N/A N/A self _visit_command item x y N/A _visit_command N/A N/A self item x y N/A N/A N/A 
        Return the bottom-rightmost point without actually drawing the item

        :param item: the item to visit
        :param x: the top of the current drawing area
        :param y: the left side of the current drawing area
        :return: the bottom-rightmost point
         N/A N/A isinstance item string_types N/A N/A N/A N/A x N/A N/A N/A N/A self canvas font measure item N/A y N/A N/A self _get_text_height N/A N/A N/A isinstance item tuple N/A N/A item N/A _handle N/A N/A self expression command x y N/A 0 0 N/A N/A 
        :param expression: the expression to handle
        :param command: the function to apply, either _draw_command or _visit_command
        :param x: the top of the current drawing area
        :param y: the left side of the current drawing area
        :return: the bottom-rightmost point
         N/A N/A command N/A self _visit_command N/A N/A N/A N/A right N/A N/A expression _drawing_width x N/A bottom N/A N/A expression _drawing_height y N/A N/A right bottom N/A N/A N/A AttributeError N/A N/A N/A N/A isinstance expression DrtAbstractVariableExpression N/A N/A factory N/A self _handle_VariableExpression N/A N/A N/A isinstance expression DRS N/A N/A factory N/A self _handle_DRS N/A N/A N/A isinstance expression DrtNegatedExpression N/A N/A factory N/A self _handle_NegatedExpression N/A N/A N/A isinstance expression DrtLambdaExpression N/A N/A factory N/A self _handle_LambdaExpression N/A N/A N/A isinstance expression BinaryExpression N/A N/A factory N/A self _handle_BinaryExpression N/A N/A N/A isinstance expression DrtApplicationExpression N/A N/A factory N/A self _handle_ApplicationExpression N/A N/A N/A isinstance expression PossibleAntecedents N/A N/A factory N/A self _handle_VariableExpression N/A N/A N/A isinstance expression DrtProposition N/A N/A factory N/A self _handle_DrtProposition N/A N/A N/A Exception N/A N/A expression __class__ __name__ N/A N/A right bottom N/A factory expression command x y N/A N/A expression _drawing_width N/A right x N/A N/A expression _drawing_height N/A bottom y N/A N/A right bottom N/A _handle_VariableExpression N/A N/A self expression command x y N/A N/A N/A N/A command N/A %s expression x y N/A _handle_NegatedExpression N/A N/A self expression command x y N/A N/A N/A right N/A N/A N/A self _visit_command N/A DrtTokens NOT x y N/A 0 N/A N/A right bottom N/A N/A self _handle N/A expression term command right y N/A N/A command N/A DrtTokens NOT x N/A N/A self _get_centered_top y N/A bottom y N/A N/A self _get_text_height N/A N/A right bottom N/A _handle_DRS N/A N/A self expression command x y N/A N/A N/A left N/A x N/A self BUFFER N/A bottom N/A y N/A self BUFFER N/A N/A expression refs N/A N/A refs N/A N/A join N/A N/A %s r N/A r N/A expression refs N/A N/A refs N/A N/A max_right bottom N/A command refs left bottom N/A bottom N/A N/A self BUFFER 2 N/A N/A expression conds N/A N/A cond N/A expression conds N/A N/A N/A right bottom N/A N/A self _handle cond command left bottom N/A max_right N/A max max_right right N/A bottom N/A self BUFFER N/A N/A bottom N/A N/A N/A self _get_text_height N/A self BUFFER N/A max_right N/A self BUFFER N/A N/A command N/A max_right bottom x y N/A _handle_ApplicationExpression N/A N/A self expression command x y N/A N/A N/A N/A function args N/A N/A expression uncurry N/A N/A N/A isinstance function DrtAbstractVariableExpression N/A N/A function N/A expression function N/A args N/A N/A expression argument N/A function_bottom N/A N/A N/A self _visit function x y N/A 1 N/A max_bottom N/A max N/A N/A function_bottom N/A N/A N/A N/A self _visit arg x y N/A 1 N/A arg args N/A line_height N/A max_bottom y N/A function_drawing_top N/A N/A self _get_centered_top y line_height N/A function _drawing_height N/A right N/A N/A N/A self _handle function command x function_drawing_top N/A 0 N/A centred_string_top N/A N/A self _get_centered_top y line_height N/A N/A self _get_text_height N/A right N/A N/A command N/A DrtTokens OPEN right centred_string_top N/A 0 N/A N/A i arg N/A enumerate args N/A N/A arg_drawing_top N/A N/A self _get_centered_top y line_height N/A arg _drawing_height N/A right N/A N/A N/A self _handle arg command right arg_drawing_top N/A 0 N/A N/A N/A i 1 N/A len args N/A N/A right N/A N/A command N/A N/A DrtTokens COMMA right centred_string_top N/A 0 N/A right N/A N/A command N/A DrtTokens CLOSE right centred_string_top N/A 0 N/A N/A right max_bottom N/A _handle_LambdaExpression N/A N/A self expression command x y N/A N/A N/A variables N/A N/A N/A DrtTokens LAMBDA N/A %s N/A expression variable N/A DrtTokens DOT N/A right N/A N/A N/A self _visit_command variables x y N/A 0 N/A N/A right bottom N/A N/A self _handle N/A expression term command right y N/A N/A command variables x N/A N/A self _get_centered_top y N/A bottom y N/A N/A self _get_text_height N/A N/A right bottom N/A _handle_BinaryExpression N/A N/A self expression command x y N/A N/A N/A first_height N/A N/A N/A self _visit N/A expression first 0 0 N/A 1 N/A second_height N/A N/A N/A self _visit N/A expression second 0 0 N/A 1 N/A line_height N/A max first_height second_height N/A centred_string_top N/A N/A self _get_centered_top y line_height N/A N/A self _get_text_height N/A right N/A N/A command N/A DrtTokens OPEN x centred_string_top N/A 0 N/A first_height N/A N/A expression first _drawing_height N/A N/A right first_bottom N/A N/A self _handle N/A expression first command right N/A N/A self _get_centered_top y line_height first_height N/A right N/A N/A command N/A  %s  N/A N/A expression getOp right centred_string_top N/A 0 N/A second_height N/A N/A expression second _drawing_height N/A N/A right second_bottom N/A N/A self _handle N/A expression second command right N/A N/A self _get_centered_top y line_height second_height N/A right N/A N/A command N/A DrtTokens CLOSE right centred_string_top N/A 0 N/A N/A right N/A max first_bottom second_bottom N/A _handle_DrtProposition N/A N/A self expression command x y N/A N/A N/A right N/A N/A command N/A expression variable x y N/A 0 N/A N/A right bottom N/A N/A self _handle N/A expression term command right y N/A N/A right bottom N/A _get_centered_top N/A N/A self top full_height item_height N/A N/A N/A Get the y-coordinate of the point that a figure should start at if
        its height is 'item_height' and it needs to be centered in an area that
        starts at 'top' and is 'full_height' tall. N/A N/A top N/A N/A full_height item_height 2 N/A N/A demo N/A N/A N/A N/A N/A N/A print N/A N/A N/A = 20 TEST PARSE N/A = 20 N/A dexpr N/A DrtExpression fromstring N/A N/A print N/A dexpr ([x,y],[sees(x,y)]) N/A N/A print N/A dexpr ([x],[man(x), walks(x)]) N/A N/A print N/A dexpr \x.\y.([],[sees(x,y)]) N/A N/A print N/A dexpr \x.([],[walks(x)])(john) N/A N/A print N/A dexpr (([x],[walks(x)]) + ([y],[runs(y)])) N/A N/A print N/A dexpr (([],[walks(x)]) -> ([],[runs(x)])) N/A N/A print N/A dexpr ([x],[PRO(x), sees(John,x)]) N/A N/A print N/A dexpr ([x],[man(x), -([],[walks(x)])]) N/A N/A print N/A dexpr ([],[(([x],[man(x)]) -> ([],[walks(x)]))]) N/A N/A print N/A N/A N/A = 20 Test fol() N/A = 20 N/A N/A print N/A N/A N/A dexpr ([x,y],[sees(x,y)]) fol N/A N/A print N/A N/A N/A = 20 Test alpha conversion and lambda expression equality N/A = 20 N/A e1 N/A dexpr \x.([],[P(x)]) N/A N/A print e1 N/A e2 N/A N/A e1 alpha_convert N/A Variable z N/A N/A print e2 N/A N/A print N/A e1 e2 N/A N/A print N/A N/A N/A = 20 Test resolve_anaphora() N/A = 20 N/A N/A print N/A resolve_anaphora N/A dexpr ([x,y,z],[dog(x), cat(y), walks(z), PRO(z)]) N/A N/A print N/A resolve_anaphora N/A dexpr ([],[(([x],[dog(x)]) -> ([y],[walks(y), PRO(y)]))]) N/A N/A print N/A resolve_anaphora N/A dexpr (([x,y],[]) + ([],[PRO(x)])) N/A N/A print N/A N/A N/A = 20 Test pretty_print() N/A = 20 N/A N/A N/A N/A dexpr ([],[]) pretty_print N/A N/A N/A N/A dexpr ([],[([x],[big(x), dog(x)]) -> ([],[bark(x)]) -([x],[walk(x)])]) pretty_print N/A N/A N/A N/A dexpr ([x,y],[x=y]) + ([z],[dog(z), walk(z)]) pretty_print N/A N/A N/A N/A dexpr ([],[([x],[]) | ([y],[]) | ([z],[dog(z), walk(z)])]) pretty_print N/A N/A N/A N/A dexpr \P.\Q.(([x],[]) + P(x) + Q(x))(\x.([],[dog(x)])) pretty_print N/A test_draw N/A N/A N/A N/A N/A N/A tkinter Tk N/A N/A N/A ImportError N/A nose SkipTest N/A N/A SkipTest tkinter is required, but it's not available. N/A expressions N/A x ([],[]) ([x],[]) ([x],[man(x)]) ([x,y],[sees(x,y)]) ([x],[man(x), walks(x)]) \x.([],[man(x), walks(x)]) \x y.([],[sees(x,y)]) ([],[(([],[walks(x)]) + ([],[runs(x)]))]) ([x],[man(x), -([],[walks(x)])]) ([],[(([x],[man(x)]) -> ([],[walks(x)]))]) N/A e expressions N/A N/A d N/A N/A DrtExpression fromstring e N/A N/A N/A d draw N/A N/A N/A __name__ __main__ N/A N/A N/A demo