Assertion list
fictitious registration (subgroup of registration ) → HasProperty
Results from Ascent++: 1
fictitious registration → HasProperty → valid 0.68