("Unifiers" is based on "Wildflowers" by Tom Petty. Alternate lyrics by Steve Wolfman.)
Ukele tabs based on Wildflower tabs at Acoustic Binder. I use a strum pattern like d---d---d-d-d--- (d = down, u = up, - = none), with two strokes on the G chord. The Fadd9 definitely falls before the start of each line. Fadd9 on a uke is simple: an F except with the G string open.
Fadd9 C G C All our lives are filled with disunion Fadd9 C G C People strive and they grow apart, but Fadd9 C G C Uni-fy two tree-structured terms and Fadd9 C G C You will find what makes them like one. Fadd9 C G C A variable and the same var connect. Fadd9 C G A variable maps to anything else, but Fadd9 C G C Technically, you should do an occurs check Fadd9 C G C Check to see if its contained in itself. Fadd9 C G C Simple term, with your secrets uncovered Fadd9 C G Symbol, number, string values too Fadd9 C G C I just see how the other [draw out the word "see"] Fadd9 C G C Simple term compares with you Fadd9 C G C A compound term's gonna take us two verses Fadd9 C G C Accompanied by recursive descent, with Fadd9 C G C Functor names that equal each other and Fadd9 C G C Subterm lists that are equal in length Fadd9 C G C Recurse into the pairwise subterms Fadd9 C G Traverse by twos, a pair at a time Fadd9 C G C Accumulate one substitution, and Fadd9 C G C You will find two terms unified Fadd9 C G C Uni-fy two tree-structured terms and Fadd9 C G C You will find what makes them like one. Fadd9 C G C Uniquely tied by a single return Fadd9 C G C One list of bindings or it cannot be done