# Test query for transitive reasoner # List (a,p,*) #################################### .