Ascent++ | sufficient to defeat a facial takings challenge

Assertion list for term "sufficient to defeat a facial takings challenge".

Results from Ascent++: 1

proof → ReceivesAction → sufficient to defeat a facial takings challenge

0.25