Downward entailing

ID: downward-entailing

New to topics? Read the docs here!