Assertion list
java applet (subgroup of applet ) → IsA

Results from Ascent++: 1
java appletIsA program 0.25