Assertion list
young boy (subgroup of boy ) → AtLocation
Results from Ascent++: 1
young boy → AtLocation → school 0.25