stepInRoutine
P100318
predicate
Indicates that an action or event occurs as an ordered step within a larger, structured routine or sequence of activities.
Observed surface forms (3)
- executionStep ×10
- methodStep ×10
- proceduralStep ×5
Sample triples (28)
| Subject | Object |
|---|---|
| Angle Slam | opponent is driven back-first to the mat via predicate surface "executionStep" ⓘ |
| Angle Slam | wrestler lifts opponent onto shoulders in a fireman’s carry position via predicate surface "executionStep" ⓘ |
| Angle Slam | wrestler turns and falls or drops opponent via predicate surface "executionStep" ⓘ |
| Dramatically Different Moisturizing Lotion | Step 3 ⓘ |
| GATT security exceptions dispute | adoption of reports by the Dispute Settlement Body via predicate surface "proceduralStep" ⓘ |
| GATT security exceptions dispute | establishment of a WTO panel via predicate surface "proceduralStep" ⓘ |
| GATT security exceptions dispute | panel proceedings via predicate surface "proceduralStep" ⓘ |
| GATT security exceptions dispute | possible appeal to the Appellate Body (when operational) via predicate surface "proceduralStep" ⓘ |
| GATT security exceptions dispute | request for consultations via predicate surface "proceduralStep" ⓘ |
| Go to Sleep | attacker delivers rising knee strike to opponent’s face via predicate surface "executionStep" ⓘ |
| Go to Sleep | attacker lifts opponent into fireman’s carry position via predicate surface "executionStep" ⓘ |
| Go to Sleep | attacker releases opponent from shoulders via predicate surface "executionStep" ⓘ |
| Henkin construction | add Henkin axioms for existential sentences via predicate surface "methodStep" ⓘ |
| Henkin construction | define a term model using equivalence classes of terms via predicate surface "methodStep" ⓘ |
| Henkin construction | extend the language with new constant symbols via predicate surface "methodStep" ⓘ |
| Henkin construction | extend the theory to a maximally consistent set via predicate surface "methodStep" ⓘ |
| Henkin construction | interpret function symbols by term operations via predicate surface "methodStep" ⓘ |
| Henkin construction | interpret predicate symbols by satisfaction in the maximally consistent set via predicate surface "methodStep" ⓘ |
| Moisture Surge 72-Hour Auto-Replenishing Hydrator | moisturizer step ⓘ |
| Rénergie Lift Multi-Action | moisturizer step ⓘ |
| West Coast Pop | wrestler jumps to the ropes for a springboard via predicate surface "executionStep" ⓘ |
| West Coast Pop | wrestler performs a hurricanrana via predicate surface "executionStep" ⓘ |
| West Coast Pop | wrestler transitions directly into a pin via predicate surface "executionStep" ⓘ |
| West Coast Pop | wrestler wraps legs around opponent’s head via predicate surface "executionStep" ⓘ |
| Wiener’s attack on RSA | compute continued fraction expansion of e/n via predicate surface "methodStep" ⓘ |
| Wiener’s attack on RSA | enumerate convergents k_i/d_i of e/n via predicate surface "methodStep" ⓘ |
| Wiener’s attack on RSA | recover φ(n) and then d via predicate surface "methodStep" ⓘ |
| Wiener’s attack on RSA | test convergents as candidates for k/φ(n) via predicate surface "methodStep" ⓘ |