Simple Facts Query - Datalog Typing CST Test