RBDT1 paper: https://www.uvic.ca/engineering/ece/isot/assets/docs/RuleML-v0.6.pdf Continue working and testing...