clause(cup(_4),(liftable(_4),holds_liquid(_4)))
clause(liftable(_4),(light(_4),part(_4,handle)))
clause(light(_4),small(_4))
clause(holds_liquid(_4),(part(_4,_66),concave(_66),points_up(_66)))
clause(concave(bowl),true)
cup(_4):-(small(_4),part(_4,handle)),part(_4,_66),concave(_66),points_up(_66)