term leaf pattern
simplify relmap reference