How to add abstracts manually to the abstractlogic system