Assertion list for term "denoted by abstract pathname".
Results from Ascent++: 2
directory → ReceivesAction → denoted by abstract pathname 0.43
file → ReceivesAction → denoted by abstract pathname 0.33