subterm (term + sub-; below_under)
A subordinate term