Assertion list for term "first and second inputs".

Results from Ascent++: 1
logic HasAfirst and second inputs 0.33