Ident * RuleArgument list * Clause list
obj
IStructuralComparable
IStructuralEquatable
IComparable
ITuple
this.Item1
Ident
this.Item2
RuleArgument list
this.Item3
Clause list
Type something to start searching.