In OBO, we model subsets/slims as AnnotationProperties, so when making an in_subset annotation the value for the AnnotationAssertionAxiom is an IRI. In the obo edit view, if we do + on in_subset, it brings up a literal editor