(
)
SUMO defined in KIF