(PART-OF(x, xc)A ISA(c, CONCAVITY) A IS(xc, UPWARD-POINTING) A PART-OF(X, x b)A ISA(xb, BOTTOM)A IS(xb, FLAT) A PART-OF (x, xh)A ISA(xh, HANDLE)A IS (x, LIGHT)+CUP (x)