%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Patient Interface
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%% Evidence
#pred evidence(accf_stage_c) :: 'the patient is in ACCF stage C'.
#pred evidence(pregnancy) :: 'the patient is pregnant or planning to get pregnant'.
#pred evidence(E) :: 'the patient is/has @(E)'.

%% Diagnosis 
#pred diagnosis(hf_with_reduced_ef) ::
       'the patient is diagnosed with heart failure with reduced ejection fraction'.
#pred diagnosis(D) :: 'the patient is diagnosed with @(D)'.

%% History
#pred history(H) :: 'the patient has a history of @(H)'.

%% Measurement
#pred measurement(M,V) :: 'there is a measurement of @(M) of @(V)'.