Implicating thinking_with_portals → portal
Link to implication
Reason:
"thinking_with_portals" (as well as "potral_ring" and "portal_panties) inherently imply a portal present.
It may also be useful to alias "portals" to "portal"
EDIT: The tag implication thinking_with_portals -> portal (forum #257624) has been rejected by @NotMeNotYou.
Updated by auto moderator