Assertion list
unitary patent (subgroup of patent ) → IsA
Results from Ascent++: 1
unitary patent → IsA → european patent 0.25