fiddling with knowledge inference stuff