Properties of ABA+ for Non-Monotonic Reasoning