%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Guide Interface
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%% #pred reason(T) :: 'there is a reason for @(T)'.
#pred contraindication(T) :: 'there is a danger in taking @(T)'.
#pred -contraindication(T) :: '@(T:treatment) is not harmful'.
#pred second_line(T0,T) :: '@(T:treatment) is the second choice of @(T0)'.
#pred concomitant(T0,T) :: '@(T:treatment) is concomitant if @(T0) is chosen'.
#pred indispensable(T0,T) :: '@(T:treatment) is indisplensable if @(T0) is chosen'.
#pred incompatibility(T0,T) :: '@(T:treatment) is incompatible with @(T0)'.