Input

Snippets:

Output

Loading...

The reasoner output is parsed and processed to create a JSON. The interface use this JSON to display information about the satisfiable elements on the diagram.

The reasoner receives the following as input.

The following is the reasoner output.

This is the complete answer received for the server.