Result terms are located at the first subterm.