spec onto7 =
AnnotationProperty: ap
Class: A
Annotations:
ap "true"
with AnnotationProperty ap |-> bp