example;
Ship facts (No or Yes refer to answers for queries, as of 2020-05-06, with :ship1, :ship2, ... as arguments)
% Facts covering all cases with qualitative slot-filler distinctions
% Explanatory comments for Yes answers focus on the most relevant slots
% Distinction for :registryExpirationDate
% Ship 1 - No, registry has expired