Assertion list for term "investigated through the system modeling".
Results from Ascent++: 1
truck → ReceivesAction → investigated through the system modeling 0.37