Introduced model navigator
Fact containing another fact finally working