#top-down reasoning #specific conclusion #premise application #applying rules #reaching target