logic reasoning types. There are any references about logic reasoning types in here. you can look below.