Spot subclaims on the way to the main claim - Logic | Zoonk