rules

The rules of the snapshot: strength, the head_predicate with its head_polarity, and the variable and predicate sets of the head and the body. The sets are name lists, not the structure of the condition. A rules row proves what the rule says. Whether it fires for a case is decided by evaluation, not by this table.

Fields

From the live dictionary on the reference fixture:

field
id
strength
head_predicate
head_polarity
head_variables
body_variables
body_predicates
package
path

Example

One meaningful query on the reference fixture (4 rows):

LawQL

from r in rules where r.strength == "strict" select r.id as rule