Partial implementation of ResolutionEngine