Assertion list for term "certified safe".
Results from Ascent++: 2
toy → ReceivesAction → certified safe 0.24
factory → HasProperty → certified safe 0.19