Enter Expression GRAPH
Example:
[saw OR heard](Fido, Fluffy)
Enter Predicate Definitions
Example:
->saw\2:
Fido Spike
Fido Fluffy
->heard\2:
Fido Spike
Generate Graph