assume-found rule interface
assume-found info output