:- object(camera_phone,
    specializes(camera, mobile_phone),
    ...).
    ...
:- end_object.