Assertion list
public forum (subgroup of forum ) → HasProperty
Results from Ascent++: 1
public forum → HasProperty → open 0.36