Make inferences persistent

Inferred statements are shown in Composer using a light blue background. For example, in the screenshot below the facts that BackpackersDestination is a subclass of Destination has been inferred (in blue).

If you want to have the system "remember" these inferences, you have two options: