answer(reverse_nested_terms, ['<urn:example:d>', "bc", box(a)]).
