Partial rule evaluation Spike 2 [dev.]