Here you will find recent runs of LogicMaps on a selection of actual rules texts, drawn from the public domain. Most of the examples are statutes or regulations because private contracts are not readily available on the Internet. All examples were run against the OpenAI o1-mini LLM in early December, 2024. Clicking on an example link will open its maps in a new browser tab.

In the maps, clicking on any node (away from the ▼ symbol) will highlight the fragment of the original text from which that node was derived. Roundtangles in a map will have links to other maps denoted by the ▼ symbol. Clicking this symbol in rule heads (light blue nodes) will expand the node into its constituent LogicMap. Clicking the ▼ symbol on a terminal node in a map (sometimes green or red) will re-render the map, highlighting either just the positive or just negative paths in the same map. In a positive (green) rendering, any proposition node that must be true (green) or must be false (red) on every positive scenario will bear that color. Conversely, in a negative (red) rendering, all nodes whose truth value is invariant in all negative scenarios will get the appropriate color.

From the US Code of Federal Regulations:

Title 8 - Aliens and Nationality:

example-5 example-10

example-64 example-66

example-69 example-70

Title 12 - Banks and Banking:

example-71

Title 17 - Commodity and Securities Exchanges:

example-79 example-80

example-81 example-82

Title 42 - Public Health:

example-75 example-76