truck <| vehicle.
mobile(vehicle).
useful(truck).
mobile(X),useful(X)?
.
