Construct full trees; support inverting with not:<term>.