trunk greater semantics