-Action::SetValue
- AddValue
- RemoveValue
- BindValue
- SetBoundValue
- AddBoundValue
+Action::RemoveValue
RemoveBoundValue
-ActionBuilder::Simple
- ::BoundValue
- ::UnsetValue
-KnownFactSet
-ResolvedPropositionSet
+? KnownFactSet
+? KnownResolutionSet
Predicate::Foreach
Predicate::Findall
Predicate::Forall