That relevance is pretty useful, but it would also count the files that aren’t from BigFix. In the context of Tiny Core Linux, it has some special stuff going on with loopback devices and the /tmp directory, so a narrower search seems more appropriate.
number of ((files of (folders of folder "/tmp") whose (name of it starts with "tmp")) whose ((name of it ends with ".fxf") or (name of it starts with "__")))
This will count how many BigFix files are inside any /tmp/tmp* folders. Any Tiny Core Relay that reports the property with a number greater than 0 could have the problem.
Note: I think these folders are created by the Linux mkdtemp system call. I’m guessing that these folders were created using that, since the path & path name share a very similar pattern. Up until now, I thought any temporary files used BigFix were all handled inside of one of the BES subdirectoiries - guess I was wrong about that.