use lexfn/sem-impl in (moreover-comp) and (moreover-head) to prevent semantic overgeneration