Replace subformula example with a resource example