phrase(capture(term(a)), [term(a)]).
phrase(capture(value), [value]).
phrase(duplicate(same), [same, same]).