broader(tel_car, ref_car).
broader(tel_heavy_vehicle, ref_car).
broader(anpr_vehicle_with_plate, ref_car).
broader(anpr_passenger_car, anpr_vehicle_with_plate).
narrower(ref_car, tel_car).
narrower(ref_car, tel_heavy_vehicle).
narrower(ref_car, anpr_vehicle_with_plate).
narrower(anpr_vehicle_with_plate, anpr_passenger_car).
broaderTransitive(tel_car, ref_car).
broaderTransitive(tel_heavy_vehicle, ref_car).
broaderTransitive(anpr_vehicle_with_plate, ref_car).
broaderTransitive(anpr_passenger_car, anpr_vehicle_with_plate).
broaderTransitive(anpr_passenger_car, ref_car).
narrowerTransitive(ref_car, tel_car).
narrowerTransitive(ref_car, tel_heavy_vehicle).
narrowerTransitive(ref_car, anpr_vehicle_with_plate).
narrowerTransitive(anpr_vehicle_with_plate, anpr_passenger_car).
narrowerTransitive(ref_car, anpr_passenger_car).
narrowerOrEqualOf(ref_car, ref_car).
narrowerOrEqualOf(tel_car, tel_car).
narrowerOrEqualOf(tel_heavy_vehicle, tel_heavy_vehicle).
narrowerOrEqualOf(anpr_vehicle_with_plate, anpr_vehicle_with_plate).
narrowerOrEqualOf(anpr_passenger_car, anpr_passenger_car).
narrowerOrEqualOf(tel_car, ref_car).
narrowerOrEqualOf(tel_heavy_vehicle, ref_car).
narrowerOrEqualOf(anpr_vehicle_with_plate, ref_car).
narrowerOrEqualOf(anpr_passenger_car, anpr_vehicle_with_plate).
narrowerOrEqualOf(anpr_passenger_car, ref_car).
rollsUpTo(tel_car, ref_car).
rollsUpTo(tel_heavy_vehicle, ref_car).
rollsUpTo(anpr_vehicle_with_plate, ref_car).
rollsUpTo(anpr_passenger_car, ref_car).