Logical Theories are Harder to Abduct | Synapse