Readonlyvariant: "Any"The discriminant.
Readonlyvariant: "WithPredicate"The discriminant.
Readonlypattern: PatternThe pattern the predicate must match.
Readonlyvariant: "WithObject"The discriminant.
Readonlypattern: PatternThe pattern the object must match.
assert,assertpred(p),assertobj(p): the assertions of a node.