Title: Term declaration logic and generalised composita