TASKS - [ ] implement var intro rule and integrate it into the deriver so for example the RFT knowledge is derivable/learnable.
TASKS