Assertion list
part (aspect of car ) → AtLocation

Results from Ascent++: 1
partAtLocation the trunk 0.37