Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add support for rule labels and defeasible meta-rules #27

Open
mengwong opened this issue Oct 12, 2021 · 1 comment
Open

add support for rule labels and defeasible meta-rules #27

mengwong opened this issue Oct 12, 2021 · 1 comment

Comments

@mengwong
Copy link
Contributor

No description provided.

@mengwong
Copy link
Contributor Author

mengwong commented Oct 19, 2021 •
edited
Loading

have started on this – rlabel is a text attribute in a rule, and we can point to those labels using RegAlias and ConAlias.

mengwong added a commit that referenced this issue Oct 19, 2021
@mengwong
add support for rule labels in constitutive rules too. issue #27
58b13c4
mengwong added a commit that referenced this issue Oct 20, 2021
@mengwong
megaparsec can read some legal spreadsheets csv
4971c24 
Squashed commit of the following:

commit f8ab21e
Author: Wong Meng Weng <mengwong@legalese.com>
Date:   Thu Oct 21 01:36:05 2021 +0800

    improve previous commit

commit 4e80aaf
Author: Wong Meng Weng <mengwong@legalese.com>
Date:   Thu Oct 21 01:17:33 2021 +0800

    improve support for constitutive terms in a party entitytype

    there is a code smell emanating from the page.

commit b3b4b4f
Author: Wong Meng Weng <mengwong@legalese.com>
Date:   Thu Oct 21 00:29:34 2021 +0800

    some bugfixes around gluing chunks

commit 381de0f
Author: Wong Meng Weng <mengwong@legalese.com>
Date:   Thu Oct 21 00:04:36 2021 +0800

    glue contiguous chunks together. resolves #11

commit bd5b66c
Author: Wong Meng Weng <mengwong@legalese.com>
Date:   Wed Oct 20 23:15:42 2021 +0800

    bugfix timeless regrules. add INCLUDES keyword. add tests for left-shifted heads.

commit f167ed0
Author: Wong Meng Weng <mengwong@legalese.com>
Date:   Wed Oct 20 22:45:47 2021 +0800

    add support for action params. resolves #26

commit df58c28
Author: Wong Meng Weng <mengwong@legalese.com>
Date:   Wed Oct 20 22:33:39 2021 +0800

    add support for inline terms (DefAlias rules) and source references

commit cfde6dc
Author: Wong Meng Weng <mengwong@legalese.com>
Date:   Wed Oct 20 22:07:28 2021 +0800

    preparing for inline aliases ("Aliases")

commit 4c6eb86
Author: Wong Meng Weng <mengwong@legalese.com>
Date:   Wed Oct 20 21:06:51 2021 +0800

    minitest match main test

commit 4d0af77
Author: Wong Meng Weng <mengwong@legalese.com>
Date:   Wed Oct 20 21:03:51 2021 +0800

    fixed permutation, all tests pass

commit 8acaf89
Author: Meng Weng Wong <mengwong@gmail.com>
Date:   Wed Oct 20 17:41:38 2021 +0800

    i have broken everything trying to expand the syntax

commit 58b13c4
Author: Wong Meng Weng <mwwong@smu.edu.sg>
Date:   Tue Oct 19 19:34:22 2021 +0800

    add support for rule labels in constitutive rules too. issue #27

commit b3c6732
Author: Wong Meng Weng <mwwong@smu.edu.sg>
Date:   Tue Oct 19 19:28:45 2021 +0800

    improve handling of EVENTUALLY; add test

commit 5489bb8
Author: Wong Meng Weng <mwwong@smu.edu.sg>
Date:   Tue Oct 19 18:16:04 2021 +0800

    allow fake "Eventually" temporal constraint

commit 173ba8b
Author: Andreas Källberg <anka.213@gmail.com>
Date:   Tue Oct 19 16:40:29 2021 +0800

    Fix hence-lest parsing

    Hence and lest comes *after* the Do, not before it.

commit 74e1ee5
Author: Andreas Källberg <anka.213@gmail.com>
Date:   Tue Oct 19 16:29:27 2021 +0800

    Make debug output even prettier

commit 25ea2aa
Author: Andreas Källberg <anka.213@gmail.com>
Date:   Tue Oct 19 16:22:51 2021 +0800

    Remove duplicate "returning" debug prints

commit b9a7158
Author: Andreas Källberg <anka.213@gmail.com>
Date:   Tue Oct 19 16:14:20 2021 +0800

    Make the debug output even prettier

commit f323515
Author: Andreas Källberg <anka.213@gmail.com>
Date:   Tue Oct 19 16:08:47 2021 +0800

    Add the new debug machinery everywhere

commit 03e7624
Author: Wong Meng Weng <mwwong@smu.edu.sg>
Date:   Tue Oct 19 16:00:37 2021 +0800

    let's try making the dnl optional

commit 01337e7
Author: Wong Meng Weng <mwwong@smu.edu.sg>
Date:   Tue Oct 19 15:53:03 2021 +0800

    tweak tests to work with regulatives

commit 66d6385
Author: Wong Meng Weng <mwwong@smu.edu.sg>
Date:   Tue Oct 19 15:45:48 2021 +0800

    chained regulatives are almost working

commit 90573e7
Author: Andreas Källberg <anka.213@gmail.com>
Date:   Tue Oct 19 15:43:41 2021 +0800

    Add functions for better debug printing

commit 046eb40
Author: Andreas Källberg <anka.213@gmail.com>
Date:   Tue Oct 19 15:25:45 2021 +0800

    Fix warnings

commit 54adf3f
Author: Wong Meng Weng <mwwong@smu.edu.sg>
Date:   Tue Oct 19 15:13:04 2021 +0800

    permutation works better

commit 8afebc6
Author: Wong Meng Weng <mwwong@smu.edu.sg>
Date:   Tue Oct 19 15:00:25 2021 +0800

    assists #21 -- stack test gives prettier error messages

commit e00f74e
Author: Andreas Källberg <anka.213@gmail.com>
Date:   Tue Oct 19 14:33:16 2021 +0800

    Remove redundant imports

commit 629f5a4
Author: Andreas Källberg <anka.213@gmail.com>
Date:   Tue Oct 19 14:31:55 2021 +0800

    Enable warnings for all files

commit a337c90
Author: Wong Meng Weng <mwwong@smu.edu.sg>
Date:   Tue Oct 19 14:30:21 2021 +0800

    try to upgrade error handling

commit e27c3fb
Author: Andreas Källberg <anka.213@gmail.com>
Date:   Mon Oct 18 16:13:47 2021 +0800

    Fix test failure

commit ca89521
Author: Meng Weng Wong <mengwong@gmail.com>
Date:   Mon Oct 18 14:52:35 2021 +0800

    distinguish WHO vs WHEN/IF rules

commit 101c515
Author: Andreas Källberg <anka.213@gmail.com>
Date:   Mon Oct 18 14:34:23 2021 +0800

    Clean up the permutation parser

commit feb2040
Author: Andreas Källberg <anka.213@gmail.com>
Date:   Mon Oct 18 14:34:10 2021 +0800

    Remove reduntdant rules

commit 051b4d9
Author: Meng Weng Wong <mengwong@gmail.com>
Date:   Mon Oct 18 13:52:09 2021 +0800

    add more tests for chained regulatives, aliases, etc.

commit 8d9bedd
Author: Andreas Källberg <anka.213@gmail.com>
Date:   Mon Oct 18 13:21:21 2021 +0800

    Extract depth checks to common function

commit 5539fde
Author: Meng Weng Wong <mengwong@gmail.com>
Date:   Mon Oct 18 13:15:09 2021 +0800

    remove unnecessary brackets

commit 7e71dab
Author: Meng Weng Wong <mengwong@gmail.com>
Date:   Mon Oct 18 13:08:06 2021 +0800

    dnl newlines now passes tests; resolves #28

commit cafda6e
Author: Meng Weng Wong <mengwong@gmail.com>
Date:   Mon Oct 18 13:04:36 2021 +0800

    starting to add support for EOL

commit 84c7fca
Author: Meng Weng Wong <mengwong@gmail.com>
Date:   Mon Oct 18 12:31:05 2021 +0800

    reindent everything

commit 4645a59
Author: Meng Weng Wong <mengwong@gmail.com>
Date:   Mon Oct 18 12:30:03 2021 +0800

    bugfix: return all appendices from boolrules

commit 0e7dfca
Author: Andreas Källberg <anka.213@gmail.com>
Date:   Mon Oct 18 11:40:07 2021 +0800

    Use the debugging env variable for the tests too

commit 2bacba9
Author: Andreas Källberg <anka.213@gmail.com>
Date:   Mon Oct 18 11:38:20 2021 +0800

    Make tests compile again

commit 618b300
Author: Andreas Källberg <anka.213@gmail.com>
Date:   Mon Oct 18 11:30:34 2021 +0800

    Use the ReaderT to avoid threading depth everywhere

commit 2c0ca93
Author: Andreas Källberg <anka.213@gmail.com>
Date:   Mon Oct 18 11:09:20 2021 +0800

    Use the ReaderT to enable/disable debug printing

commit f7c53a7
Author: Andreas Källberg <anka.213@gmail.com>
Date:   Mon Oct 18 10:59:58 2021 +0800

    Add a ReaderT transformer to the parser monad

    To easily pass around the RunConfig

commit 717a576
Author: Wong Meng Weng <mwwong@smu.edu.sg>
Date:   Thu Oct 14 13:04:31 2021 +0800

    working much better now lol

commit 199bdb3
Author: Wong Meng Weng <mwwong@smu.edu.sg>
Date:   Thu Oct 14 02:25:37 2021 +0800

    i'll look at the tests tomorrow.

commit 3dcfe1a
Author: Wong Meng Weng <mwwong@smu.edu.sg>
Date:   Thu Oct 14 02:15:50 2021 +0800

    set boolstructs to be Maybes in Regulative. still failing test.

commit 5c0e9dc
Author: Meng Weng Wong <mengwong@gmail.com>
Date:   Wed Oct 13 15:56:31 2021 +0800

    next, need to fix the tests because expanded RegRule.

commit ff3a16c
Author: Meng Weng Wong <mengwong@gmail.com>
Date:   Wed Oct 13 14:55:09 2021 +0800

    it compiles, i don't know if it actually works tho

commit c9f7b9c
Author: Wong Meng Weng <mwwong@smu.edu.sg>
Date:   Wed Oct 13 01:15:43 2021 +0800

    some fixes, everything is still broken tho

commit 14c5d53
Author: Wong Meng Weng <mwwong@smu.edu.sg>
Date:   Tue Oct 12 21:27:46 2021 +0800

    continue to think through boolstructs

commit b134406
Author: Wong Meng Weng <mwwong@smu.edu.sg>
Date:   Tue Oct 12 19:08:19 2021 +0800

    WIP, refactoring in progress, everything is probably badly broken
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@mengwong