Right now the reasoner is pre-processing rules to add rules that convert from dates into timestamps for "becomes" predicates. Those additional rules are showing up in the explanations, and because timestamps are reformatted in the scenario editor to look like dates, it seems like there is a rule X is date because X is date, which is redundant. We should see about cleaning that up.
Right now the reasoner is pre-processing rules to add rules that convert from dates into timestamps for "becomes" predicates. Those additional rules are showing up in the explanations, and because timestamps are reformatted in the scenario editor to look like dates, it seems like there is a rule X is date because X is date, which is redundant. We should see about cleaning that up.