Assertion list
warranty (aspect of manufacturer ) → AtLocation
Results from Ascent++: 3
warranty → AtLocation → effect 0.50
warranty → AtLocation → lieu of all other warranties 0.42
warranty → AtLocation → minimum 0.25