Assertion list
mirror (aspect of telescope ) → HasProperty
Results from Ascent++: 8
mirror → HasProperty → large 0.49
mirror → HasProperty → complete 0.47
mirror → HasProperty → good 0.43
mirror → HasProperty → thin 0.40
mirror → HasProperty → small 0.39
mirror → HasProperty → spherical 0.31
mirror → HasProperty → easier 0.16
mirror → HasProperty → heavy 0.16