[ BlockDefn
    ( Location
        { locFile = "test/examples/coord.tex"
        , locLine = 1
        , locColumn = 1
        }
    ) Nothing
    ( Marker "bar" )
    ( Defn []
        ( DefnNoun
            ( NamedVar "x" )
            ( Noun
                ( Location
                    { locFile = "test/examples/coord.tex"
                    , locLine = 2
                    , locColumn = 14
                    }
                )
                ( LexicalItemSgPl
                    ( SgPl
                        { sg = TokenCons
                            ( Word "bar" ) End
                        , pl = TokenCons
                            ( Word "bars" ) End
                        }
                    )
                    ( Marker "bar" )
                ) []
            )
        )
        ( StmtFormula
            { formula = FormulaChain
                ( ChainBase
                    ( ExprVar
                        ( NamedVar "x" ) :| []
                    ) Positive
                    ( Relation
                        ( Location
                            { locFile = "test/examples/coord.tex"
                            , locLine = 2
                            , locColumn = 25
                            }
                        )
                        ( RelationSymbol
                            ( Symbol "=" )
                            ( ParameterArity 0 )
                            ( Marker "eq" )
                        ) []
                    )
                    ( ExprVar
                        ( NamedVar "x" ) :| []
                    )
                )
            }
        )
    )
, BlockDefn
    ( Location
        { locFile = "test/examples/coord.tex"
        , locLine = 5
        , locColumn = 1
        }
    ) Nothing
    ( Marker "foo" )
    ( Defn []
        ( DefnAdj Nothing
            ( NamedVar "x" )
            ( Adj
                ( Location
                    { locFile = "test/examples/coord.tex"
                    , locLine = 6
                    , locColumn = 12
                    }
                )
                ( LexicalItem
                    ( TokenCons
                        ( Word "foo" ) End
                    )
                    ( Marker "foo" )
                ) []
            )
        )
        ( StmtFormula
            { formula = FormulaChain
                ( ChainBase
                    ( ExprVar
                        ( NamedVar "x" ) :| []
                    ) Positive
                    ( Relation
                        ( Location
                            { locFile = "test/examples/coord.tex"
                            , locLine = 6
                            , locColumn = 23
                            }
                        )
                        ( RelationSymbol
                            ( Symbol "=" )
                            ( ParameterArity 0 )
                            ( Marker "eq" )
                        ) []
                    )
                    ( ExprVar
                        ( NamedVar "x" ) :| []
                    )
                )
            }
        )
    )
, BlockDefn
    ( Location
        { locFile = "test/examples/coord.tex"
        , locLine = 9
        , locColumn = 1
        }
    ) Nothing
    ( Marker "baz" )
    ( Defn []
        ( DefnAdj Nothing
            ( NamedVar "x" )
            ( Adj
                ( Location
                    { locFile = "test/examples/coord.tex"
                    , locLine = 10
                    , locColumn = 12
                    }
                )
                ( LexicalItem
                    ( TokenCons
                        ( Word "baz" ) End
                    )
                    ( Marker "baz" )
                ) []
            )
        )
        ( StmtFormula
            { formula = FormulaChain
                ( ChainBase
                    ( ExprVar
                        ( NamedVar "x" ) :| []
                    ) Positive
                    ( Relation
                        ( Location
                            { locFile = "test/examples/coord.tex"
                            , locLine = 10
                            , locColumn = 23
                            }
                        )
                        ( RelationSymbol
                            ( Symbol "=" )
                            ( ParameterArity 0 )
                            ( Marker "eq" )
                        ) []
                    )
                    ( ExprVar
                        ( NamedVar "x" ) :| []
                    )
                )
            }
        )
    )
, BlockClaim Proposition
    ( Location
        { locFile = "test/examples/coord.tex"
        , locLine = 13
        , locColumn = 1
        }
    ) Nothing
    ( Marker "nouns" )
    ( Claim
        [ AsmLetNoun
            ( NamedVar "x" :|
                [ NamedVar "y" ]
            ) NounPhrase ( [] )
            ( Noun
                ( Location
                    { locFile = "test/examples/coord.tex"
                    , locLine = 14
                    , locColumn = 19
                    }
                )
                ( LexicalItemSgPl
                    ( SgPl
                        { sg = TokenCons
                            ( Word "bar" ) End
                        , pl = TokenCons
                            ( Word "bars" ) End
                        }
                    )
                    ( Marker "bar" )
                ) []
            ) ( Nothing ) ( [] ) ( Nothing )
        ]
        ( StmtFormula
            { formula = FormulaChain
                ( ChainBase
                    ( ExprVar
                        ( NamedVar "x" ) :| []
                    ) Positive
                    ( Relation
                        ( Location
                            { locFile = "test/examples/coord.tex"
                            , locLine = 15
                            , locColumn = 13
                            }
                        )
                        ( RelationSymbol
                            ( Symbol "=" )
                            ( ParameterArity 0 )
                            ( Marker "eq" )
                        ) []
                    )
                    ( ExprVar
                        ( NamedVar "x" ) :| []
                    )
                )
            }
        )
    )
, BlockClaim Proposition
    ( Location
        { locFile = "test/examples/coord.tex"
        , locLine = 18
        , locColumn = 1
        }
    ) Nothing
    ( Marker "adj_nouns" )
    ( Claim
        [ AsmLetNoun
            ( NamedVar "x" :|
                [ NamedVar "y" ]
            ) NounPhrase
            (
                [ AdjL
                    ( Location
                        { locFile = "test/examples/coord.tex"
                        , locLine = 19
                        , locColumn = 19
                        }
                    )
                    ( LexicalItem
                        ( TokenCons
                            ( Word "foo" ) End
                        )
                        ( Marker "foo" )
                    ) []
                ]
            )
            ( Noun
                ( Location
                    { locFile = "test/examples/coord.tex"
                    , locLine = 19
                    , locColumn = 23
                    }
                )
                ( LexicalItemSgPl
                    ( SgPl
                        { sg = TokenCons
                            ( Word "bar" ) End
                        , pl = TokenCons
                            ( Word "bars" ) End
                        }
                    )
                    ( Marker "bar" )
                ) []
            ) ( Nothing ) ( [] ) ( Nothing )
        ]
        ( StmtFormula
            { formula = FormulaChain
                ( ChainBase
                    ( ExprVar
                        ( NamedVar "x" ) :| []
                    ) Positive
                    ( Relation
                        ( Location
                            { locFile = "test/examples/coord.tex"
                            , locLine = 20
                            , locColumn = 13
                            }
                        )
                        ( RelationSymbol
                            ( Symbol "=" )
                            ( ParameterArity 0 )
                            ( Marker "eq" )
                        ) []
                    )
                    ( ExprVar
                        ( NamedVar "x" ) :| []
                    )
                )
            }
        )
    )
, BlockClaim Proposition
    ( Location
        { locFile = "test/examples/coord.tex"
        , locLine = 24
        , locColumn = 1
        }
    ) Nothing
    ( Marker "nouns_suchthat" )
    ( Claim
        [ AsmLetNoun
            ( NamedVar "x" :|
                [ NamedVar "y" ]
            ) NounPhrase ( [] )
            ( Noun
                ( Location
                    { locFile = "test/examples/coord.tex"
                    , locLine = 25
                    , locColumn = 19
                    }
                )
                ( LexicalItemSgPl
                    ( SgPl
                        { sg = TokenCons
                            ( Word "bar" ) End
                        , pl = TokenCons
                            ( Word "bars" ) End
                        }
                    )
                    ( Marker "bar" )
                ) []
            ) ( Nothing ) ( [] )
            ( Just
                ( StmtConnected
                    { conn = Conjunction
                    , mloc = Nothing
                    , stmt1 = StmtVerbPhrase
                        { args = TermExpr
                            ( ExprVar
                                ( NamedVar "x" )
                            ) :| []
                        , verb = VPAdj
                            ( Adj
                                ( Location
                                    { locFile = "test/examples/coord.tex"
                                    , locLine = 25
                                    , locColumn = 41
                                    }
                                )
                                ( LexicalItem
                                    ( TokenCons
                                        ( Word "foo" ) End
                                    )
                                    ( Marker "foo" )
                                ) [] :| []
                            )
                        }
                    , stmt2 = StmtVerbPhrase
                        { args = TermExpr
                            ( ExprVar
                                ( NamedVar "y" )
                            ) :| []
                        , verb = VPAdj
                            ( Adj
                                ( Location
                                    { locFile = "test/examples/coord.tex"
                                    , locLine = 25
                                    , locColumn = 56
                                    }
                                )
                                ( LexicalItem
                                    ( TokenCons
                                        ( Word "baz" ) End
                                    )
                                    ( Marker "baz" )
                                ) [] :| []
                            )
                        }
                    }
                )
            )
        ]
        ( StmtFormula
            { formula = FormulaChain
                ( ChainBase
                    ( ExprVar
                        ( NamedVar "x" ) :| []
                    ) Positive
                    ( Relation
                        ( Location
                            { locFile = "test/examples/coord.tex"
                            , locLine = 26
                            , locColumn = 13
                            }
                        )
                        ( RelationSymbol
                            ( Symbol "=" )
                            ( ParameterArity 0 )
                            ( Marker "eq" )
                        ) []
                    )
                    ( ExprVar
                        ( NamedVar "x" ) :| []
                    )
                )
            }
        )
    )
, BlockClaim Proposition
    ( Location
        { locFile = "test/examples/coord.tex"
        , locLine = 30
        , locColumn = 1
        }
    ) Nothing
    ( Marker "noun_verb" )
    ( Claim []
        ( StmtConnected
            { conn = Equivalence
            , mloc = Nothing
            , stmt1 = StmtFormula
                { formula = FormulaChain
                    ( ChainBase
                        ( ExprVar
                            ( NamedVar "x" ) :| []
                        ) Positive
                        ( Relation
                            ( Location
                                { locFile = "test/examples/coord.tex"
                                , locLine = 31
                                , locColumn = 8
                                }
                            )
                            ( RelationSymbol
                                ( Symbol "=" )
                                ( ParameterArity 0 )
                                ( Marker "eq" )
                            ) []
                        )
                        ( ExprVar
                            ( NamedVar "y" ) :| []
                        )
                    )
                }
            , stmt2 = StmtNoun
                { args = TermExpr
                    ( ExprVar
                        ( NamedVar "x" )
                    ) :| []
                , noun = NounPhrase ( [] )
                    ( Noun
                        ( Location
                            { locFile = "test/examples/coord.tex"
                            , locLine = 31
                            , locColumn = 26
                            }
                        )
                        ( LexicalItemSgPl
                            ( SgPl
                                { sg = TokenCons
                                    ( Word "bar" ) End
                                , pl = TokenCons
                                    ( Word "bars" ) End
                                }
                            )
                            ( Marker "bar" )
                        ) []
                    ) ( Nothing )
                    (
                        [ AdjR
                            ( Location
                                { locFile = "test/examples/coord.tex"
                                , locLine = 31
                                , locColumn = 30
                                }
                            )
                            ( LexicalItem
                                ( TokenCons
                                    ( Word "equal" )
                                    ( TokenCons
                                        ( Word "to" ) ( HoleCons End )
                                    )
                                )
                                ( Marker "eq" )
                            )
                            [ TermExpr
                                ( ExprVar
                                    ( NamedVar "y" )
                                )
                            ]
                        ]
                    ) ( Nothing )
                }
            }
        )
    )
, BlockClaim Proposition
    ( Location
        { locFile = "test/examples/coord.tex"
        , locLine = 35
        , locColumn = 1
        }
    ) Nothing
    ( Marker "adjs" )
    ( Claim []
        ( StmtVerbPhrase
            { args = TermExpr
                ( ExprVar
                    ( NamedVar "x" )
                ) :| []
            , verb = VPAdj
                ( Adj
                    ( Location
                        { locFile = "test/examples/coord.tex"
                        , locLine = 36
                        , locColumn = 12
                        }
                    )
                    ( LexicalItem
                        ( TokenCons
                            ( Word "foo" ) End
                        )
                        ( Marker "foo" )
                    ) [] :|
                    [ Adj
                        ( Location
                            { locFile = "test/examples/coord.tex"
                            , locLine = 36
                            , locColumn = 20
                            }
                        )
                        ( LexicalItem
                            ( TokenCons
                                ( Word "baz" ) End
                            )
                            ( Marker "baz" )
                        ) []
                    ]
                )
            }
        )
    )
, BlockClaim Proposition
    ( Location
        { locFile = "test/examples/coord.tex"
        , locLine = 39
        , locColumn = 1
        }
    ) Nothing
    ( Marker "are_nouns" )
    ( Claim
        [ AsmLetNoun
            ( NamedVar "x" :|
                [ NamedVar "y" ]
            ) NounPhrase
            (
                [ AdjL
                    ( Location
                        { locFile = "test/examples/coord.tex"
                        , locLine = 40
                        , locColumn = 19
                        }
                    )
                    ( LexicalItem
                        ( TokenCons
                            ( Word "foo" ) End
                        )
                        ( Marker "foo" )
                    ) []
                ]
            )
            ( Noun
                ( Location
                    { locFile = "test/examples/coord.tex"
                    , locLine = 40
                    , locColumn = 23
                    }
                )
                ( LexicalItemSgPl
                    ( SgPl
                        { sg = TokenCons
                            ( Word "bar" ) End
                        , pl = TokenCons
                            ( Word "bars" ) End
                        }
                    )
                    ( Marker "bar" )
                ) []
            ) ( Nothing ) ( [] ) ( Nothing )
        ]
        ( StmtNoun
            { args = TermExpr
                ( ExprVar
                    ( NamedVar "x" )
                ) :|
                [ TermExpr
                    ( ExprVar
                        ( NamedVar "y" )
                    )
                ]
            , noun = NounPhrase
                (
                    [ AdjL
                        ( Location
                            { locFile = "test/examples/coord.tex"
                            , locLine = 41
                            , locColumn = 26
                            }
                        )
                        ( LexicalItem
                            ( TokenCons
                                ( Word "foo" ) End
                            )
                            ( Marker "foo" )
                        ) []
                    ]
                )
                ( Noun
                    ( Location
                        { locFile = "test/examples/coord.tex"
                        , locLine = 41
                        , locColumn = 30
                        }
                    )
                    ( LexicalItemSgPl
                        ( SgPl
                            { sg = TokenCons
                                ( Word "bar" ) End
                            , pl = TokenCons
                                ( Word "bars" ) End
                            }
                        )
                        ( Marker "bar" )
                    ) []
                ) ( Nothing ) ( [] ) ( Nothing )
            }
        )
    )
]