Assertion list
turtle (primary) → HasPrerequisite
Results from Ascent++: 4
turtle → HasPrerequisite → heat 0.53
turtle → HasPrerequisite → place 0.51
turtle → HasPrerequisite → larger tank 0.25
turtle → HasPrerequisite → special care 0.22