Can reason directly with atomic triples, but is horrible.

3 jobs for master in 14 minutes and 18 seconds (queued for 11 seconds)