Assertion list for term "offer formability".

Results from Ascent++: 1
alloy CapableOfoffer formability 0.16